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