The cat eats the mouse. The cat eats the rabbit. The cat is green. The cat does not need the mouse. The mouse is young. The rabbit eats the mouse. The squirrel is round. If someone is round then they like the cat. If someone needs the cat then the cat is not cold. If someone is rough and they need the rabbit then the rabbit is not cold.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is green.
("cat" "is" "green" "+")
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone is round then they like the cat.
((("someone" "is" "round" "+")) -> ("someone" "likes" "cat" "+"))
If someone needs the cat then the cat is not cold.
((("someone" "needs" "cat" "+")) -> ("cat" "is" "cold" "-"))
If someone is rough and they need the rabbit then the rabbit is not cold.
((("someone" "is" "rough" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "cold" "-"))
The cat eats the rabbit.
True
1
proof
[(triple2)]
("cat" "eats" "rabbit" "+")
triple2
The squirrel is not round.
False
1
inv-proof
[(triple7)]
("squirrel" "is" "round" "-")
triple7
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "likes" "cat" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cat does not need the mouse.[(triple4)] The cat eats the mouse.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is green.[(triple3)] The mouse is young.[(triple5)] The rabbit eats the mouse.[(triple6)] The squirrel is round.[(triple7)] @1: The squirrel likes the cat.[(((triple7) -> rule1))]
The cat does not need the mouse.
("cat" "needs" "mouse" "-")
triple4
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The mouse is young.
("mouse" "is" "young" "+")
triple5
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((triple7) -> (rule1 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1