The bald eagle is red. The cat is round. The cow is nice. The cow sees the squirrel. The squirrel eats the cat. The squirrel is red. The squirrel sees the cat. If someone sees the cat and they are green then they are nice. If the cow sees the cat then the cow sees the squirrel. If someone is big and they eat the cow then the cow eats the cat.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
If someone sees the cat and they are green then they are nice.
((("someone" "sees" "cat" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If the cow sees the cat then the cow sees the squirrel.
((("cow" "sees" "cat" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone is big and they eat the cow then the cow eats the cat.
((("someone" "is" "big" "+") ("someone" "eats" "cow" "+")) -> ("cow" "eats" "cat" "+"))
The cow sees the squirrel.
True
1
proof
[(triple4)]
("cow" "sees" "squirrel" "+")
triple4
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
The cow does not eat the cat.
Unknown
inv-rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "eats" "cat" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle is red.[(triple1)] The cat is round.[(triple2)] The cow is nice.[(triple3)] The cow sees the squirrel.[(triple4)] The squirrel eats the cat.[(triple5)] The squirrel is red.[(triple6)] The squirrel sees the cat.[(triple7)]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple5
The squirrel is red.
("squirrel" "is" "red" "+")
triple6
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple7