The cow chases the lion. The cow eats the lion. The cow eats the mouse. The cow visits the lion. The lion eats the cow. The lion eats the mouse. The lion is nice. The lion is round. The lion visits the cow. The mouse visits the lion. If something is cold and it eats the lion then the lion visits the cow. If something is round then it visits the cow. If something chases the lion then it visits the cow. If something is cold and it eats the lion then the lion is round. If something eats the lion and the lion eats the cow then the lion is round. If the mouse is round and the mouse eats the lion then the mouse is green. If something chases the lion and it visits the mouse then the lion visits the cow. If something eats the mouse then it is green.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion eats the cow.
("lion" "eats" "cow" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something is cold and it eats the lion then the lion visits the cow.
((("something" "is" "cold" "+") ("something" "eats" "lion" "+")) -> ("lion" "visits" "cow" "+"))
If something is round then it visits the cow.
((("something" "is" "round" "+")) -> ("something" "visits" "cow" "+"))
If something chases the lion then it visits the cow.
((("something" "chases" "lion" "+")) -> ("something" "visits" "cow" "+"))
If something is cold and it eats the lion then the lion is round.
((("something" "is" "cold" "+") ("something" "eats" "lion" "+")) -> ("lion" "is" "round" "+"))
If something eats the lion and the lion eats the cow then the lion is round.
((("something" "eats" "lion" "+") ("lion" "eats" "cow" "+")) -> ("lion" "is" "round" "+"))
If the mouse is round and the mouse eats the lion then the mouse is green.
((("mouse" "is" "round" "+") ("mouse" "eats" "lion" "+")) -> ("mouse" "is" "green" "+"))
If something chases the lion and it visits the mouse then the lion visits the cow.
((("something" "chases" "lion" "+") ("something" "visits" "mouse" "+")) -> ("lion" "visits" "cow" "+"))
If something eats the mouse then it is green.
((("something" "eats" "mouse" "+")) -> ("something" "is" "green" "+"))
The cow eats the lion.
True
1
proof
[(triple2)]
("cow" "eats" "lion" "+")
triple2
The cow does not visit the lion.
False
1
inv-proof
[(triple4)]
("cow" "visits" "lion" "-")
triple4
The lion is green.
True
2
proof
[(((triple6) -> rule8))]
("lion" "is" "green" "+")
((triple6) -> (rule8 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple1) -> rule3))]
("cow" "visits" "cow" "-")
((triple1) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The mouse does not visit the cow.
Unknown
inv-rconc
[@1: The mouse visits the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "cow" "-")
The mouse is green.
Unknown
rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "is" "green" "+")
The lion does not visit the mouse.
Unknown
inv-random
[@0: The lion visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "mouse" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow eats the mouse.[(triple3)] The cow visits the lion.[(triple4)] The lion eats the cow.[(triple5)] The lion eats the mouse.[(triple6)] The lion is nice.[(triple7)] The lion is round.[(triple8 OR ((triple2 triple5) -> rule5))] The lion visits the cow.[(triple9 OR ((triple8) -> rule2) OR ((((triple2 triple5) -> rule5)) -> rule2))] The mouse visits the lion.[(triple10)] @1: The cow is green.[(((triple3) -> rule8))] The cow visits the cow.[(((triple1) -> rule3))] The lion is green.[(((triple6) -> rule8))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple3
The cow visits the lion.
("cow" "visits" "lion" "+")
triple4
The lion eats the cow.
("lion" "eats" "cow" "+")
triple5
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
((triple2 triple5) -> (rule5 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion visits the cow.
("lion" "visits" "cow" "+")
triple9
((triple8) -> (rule2 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
((((triple2 triple5) -> (rule5 % int2))) -> (rule2 % int1))
The lion visits the cow.
("lion" "visits" "cow" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple10
The cow is green.
("cow" "is" "green" "+")
((triple3) -> (rule8 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple1) -> (rule3 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The lion is green.
("lion" "is" "green" "+")
((triple6) -> (rule8 % int1))
The lion is green.
("lion" "is" "green" "+")
int1