The cow chases the lion. The cow eats the lion. The cow is kind. The lion is nice. The lion is round. The squirrel eats the cow. The squirrel is nice. If the squirrel eats the lion then the lion does not like the cow. If something likes the squirrel then the squirrel likes the lion. If the lion eats the cow then the lion eats the squirrel. If the squirrel chases the lion then the lion is round. If something likes the squirrel and the squirrel eats the lion then it is kind. If something eats the lion then it chases the squirrel. If something likes the lion then it is green. If something is green then it chases the cow.
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The cow is kind.
("cow" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If the squirrel eats the lion then the lion does not like the cow.
((("squirrel" "eats" "lion" "+")) -> ("lion" "likes" "cow" "-"))
If something likes the squirrel then the squirrel likes the lion.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "lion" "+"))
If the lion eats the cow then the lion eats the squirrel.
((("lion" "eats" "cow" "+")) -> ("lion" "eats" "squirrel" "+"))
If the squirrel chases the lion then the lion is round.
((("squirrel" "chases" "lion" "+")) -> ("lion" "is" "round" "+"))
If something likes the squirrel and the squirrel eats the lion then it is kind.
((("something" "likes" "squirrel" "+") ("squirrel" "eats" "lion" "+")) -> ("something" "is" "kind" "+"))
If something eats the lion then it chases the squirrel.
((("something" "eats" "lion" "+")) -> ("something" "chases" "squirrel" "+"))
If something likes the lion then it is green.
((("something" "likes" "lion" "+")) -> ("something" "is" "green" "+"))
If something is green then it chases the cow.
((("something" "is" "green" "+")) -> ("something" "chases" "cow" "+"))
The lion is nice.
True
1
proof
[(triple4)]
("lion" "is" "nice" "+")
triple4
The squirrel does not eat the cow.
False
1
inv-proof
[(triple6)]
("squirrel" "eats" "cow" "-")
triple6
The cow chases the squirrel.
True
2
proof
[(((triple2) -> rule6))]
("cow" "chases" "squirrel" "+")
((triple2) -> (rule6 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow does not chase the squirrel.
False
2
inv-proof
[(((triple2) -> rule6))]
("cow" "chases" "squirrel" "-")
((triple2) -> (rule6 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1
The cow does not chase the cow.
Unknown
inv-rconc
[@2: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("cow" "chases" "cow" "-")
The lion chases the squirrel.
Unknown
rconc
[@1: The lion chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "chases" "squirrel" "+")
The squirrel does not like the cow.
Unknown
inv-random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "-")
The squirrel is cold.
Unknown
random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "+")
@0: The cow chases the lion.[(triple1)] The cow eats the lion.[(triple2)] The cow is kind.[(triple3)] The lion is nice.[(triple4)] The lion is round.[(triple5)] The squirrel eats the cow.[(triple6)] The squirrel is nice.[(triple7)] @1: The cow chases the squirrel.[(((triple2) -> rule6))]
The cow chases the lion.
("cow" "chases" "lion" "+")
triple1
The cow eats the lion.
("cow" "eats" "lion" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is round.
("lion" "is" "round" "+")
triple5
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
((triple2) -> (rule6 % int1))
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
int1