The bald eagle chases the cat. The bald eagle chases the mouse. The cat chases the bald eagle. The cat chases the squirrel. The cat does not eat the squirrel. The cat is red. The cat is round. The cat needs the bald eagle. The mouse eats the cat. The mouse is red. The mouse is young. The mouse needs the squirrel. The squirrel is kind. The squirrel is young. The squirrel needs the bald eagle. The squirrel does not need the cat. If someone is young and they need the mouse then they chase the bald eagle. If someone needs the cat then they eat the mouse. If someone is cold and red then they need the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
If someone is young and they need the mouse then they chase the bald eagle.
((("someone" "is" "young" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone needs the cat then they eat the mouse.
((("someone" "needs" "cat" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is cold and red then they need the bald eagle.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "bald eagle" "+"))
The cat chases the squirrel.
True
1
proof
[(triple4)]
("cat" "chases" "squirrel" "+")
triple4
The cat does not chase the squirrel.
False
1
inv-proof
[(triple4)]
("cat" "chases" "squirrel" "-")
triple4
The squirrel does not chase the bald eagle.
Unknown
inv-rconc
[@1: The squirrel chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "bald eagle" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the mouse.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat chases the squirrel.[(triple4)] The cat does not eat the squirrel.[(triple5)] The cat is red.[(triple6)] The cat is round.[(triple7)] The cat needs the bald eagle.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is red.[(triple10)] The mouse is young.[(triple11)] The mouse needs the squirrel.[(triple12)] The squirrel does not need the cat.[(triple16)] The squirrel is kind.[(triple13)] The squirrel is young.[(triple14)] The squirrel needs the bald eagle.[(triple15)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
triple4
The cat does not eat the squirrel.
("cat" "eats" "squirrel" "-")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple9
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple12
The squirrel does not need the cat.
("squirrel" "needs" "cat" "-")
triple16
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple13
The squirrel is young.
("squirrel" "is" "young" "+")
triple14
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple15