The cat eats the tiger. The lion chases the cat. The lion eats the cat. The lion is not big. The lion is nice. The lion visits the cat. The lion visits the tiger. The tiger chases the cat. The tiger chases the lion. The tiger eats the cat. The tiger is big. The tiger is nice. The tiger is not young. The tiger visits the cat. The tiger visits the lion. If someone chases the tiger then the tiger eats the cat. If someone visits the lion and they do not chase the tiger then the tiger is cold. If someone is young then they do not visit the tiger. If someone is nice and not big then they visit the lion. If the lion chases the tiger and the lion does not visit the tiger then the tiger does not eat the lion. If someone is big then they are not blue. If someone eats the lion then they are not blue. If someone is blue then they do not eat the tiger.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is not big.
("lion" "is" "big" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not young.
("tiger" "is" "young" "-")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone chases the tiger then the tiger eats the cat.
((("someone" "chases" "tiger" "+")) -> ("tiger" "eats" "cat" "+"))
If someone visits the lion and they do not chase the tiger then the tiger is cold.
((("someone" "visits" "lion" "+") ("someone" "chases" "tiger" "~")) -> ("tiger" "is" "cold" "+"))
If someone is young then they do not visit the tiger.
((("someone" "is" "young" "+")) -> ("someone" "visits" "tiger" "-"))
If someone is nice and not big then they visit the lion.
((("someone" "is" "nice" "+") ("someone" "is" "big" "~")) -> ("someone" "visits" "lion" "+"))
If the lion chases the tiger and the lion does not visit the tiger then the tiger does not eat the lion.
((("lion" "chases" "tiger" "+") ("lion" "visits" "tiger" "~")) -> ("tiger" "eats" "lion" "-"))
If someone is big then they are not blue.
((("someone" "is" "big" "+")) -> ("someone" "is" "blue" "-"))
If someone eats the lion then they are not blue.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "blue" "-"))
If someone is blue then they do not eat the tiger.
((("someone" "is" "blue" "+")) -> ("someone" "eats" "tiger" "-"))
The lion is nice.
True
1
proof
[(triple5)]
("lion" "is" "nice" "+")
triple5
The lion is not nice.
False
1
inv-proof
[(triple5)]
("lion" "is" "nice" "-")
triple5
The lion visits the lion.
True
3
proof
[(((triple5 triple4) -> rule4))]
("lion" "visits" "lion" "+")
((triple5 triple4) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion does not visit the lion.
False
3
inv-proof
[(((triple5 triple4) -> rule4))]
("lion" "visits" "lion" "-")
((triple5 triple4) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "cold" "-")
The cat visits the lion.
Unknown
rconc
[@1: The cat visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "lion" "+")
The lion is not blue.
Unknown
inv-random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat eats the tiger.[(triple1)] The lion chases the cat.[(triple2)] The lion eats the cat.[(triple3)] The lion is nice.[(triple5)] The lion is not big.[(triple4)] The lion visits the cat.[(triple6)] The lion visits the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the cat.[(triple10)] The tiger is big.[(triple11)] The tiger is nice.[(triple12)] The tiger is not young.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the lion.[(triple15)] @1: The lion visits the lion.[(((triple5 triple4) -> rule4))] The tiger is not blue.[(((triple11) -> rule6))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The lion chases the cat.
("lion" "chases" "cat" "+")
triple2
The lion eats the cat.
("lion" "eats" "cat" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not big.
("lion" "is" "big" "-")
triple4
The lion visits the cat.
("lion" "visits" "cat" "+")
triple6
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple7
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple8
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple9
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is not young.
("tiger" "is" "young" "-")
triple13
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple14
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple15
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple5 triple4) -> (rule4 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The tiger is not blue.
("tiger" "is" "blue" "-")
((triple11) -> (rule6 % int1))
The tiger is not blue.
("tiger" "is" "blue" "-")
int1