The cow is not cold. The lion likes the cow. The lion needs the rabbit. The rabbit likes the squirrel. The rabbit does not need the cow. The squirrel chases the cow. The squirrel is big. The squirrel is kind. The squirrel needs the cow. The squirrel needs the rabbit. Young, big things are cold. If something is kind then it chases the cow. If something is cold then it likes the lion.
The cow is not cold.
("cow" "is" "cold" "-")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
Young, big things are cold.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
If something is kind then it chases the cow.
((("something" "is" "kind" "+")) -> ("something" "chases" "cow" "+"))
If something is cold then it likes the lion.
((("something" "is" "cold" "+")) -> ("something" "likes" "lion" "+"))
The rabbit likes the squirrel.
True
1
proof
[(triple4)]
("rabbit" "likes" "squirrel" "+")
triple4
The squirrel does not need the cow.
False
1
inv-proof
[(triple9)]
("squirrel" "needs" "cow" "-")
triple9
The rabbit does not like the lion.
Unknown
inv-rconc
[@2: The rabbit likes the lion.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("rabbit" "likes" "lion" "-")
The lion likes the squirrel.
Unknown
random
[@0: The lion likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "squirrel" "+")
@0: The cow is not cold.[(triple1)] The lion likes the cow.[(triple2)] The lion needs the rabbit.[(triple3)] The rabbit does not need the cow.[(triple5)] The rabbit likes the squirrel.[(triple4)] The squirrel chases the cow.[(triple6 OR ((triple8) -> rule2))] The squirrel is big.[(triple7)] The squirrel is kind.[(triple8)] The squirrel needs the cow.[(triple9)] The squirrel needs the rabbit.[(triple10)]
The cow is not cold.
("cow" "is" "cold" "-")
triple1
The lion likes the cow.
("lion" "likes" "cow" "+")
triple2
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple3
The rabbit does not need the cow.
("rabbit" "needs" "cow" "-")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple4
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple6
((triple8) -> (rule2 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple7
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple8
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple9
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple10