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