The mouse visits the squirrel. The rabbit is kind. The rabbit is round. The squirrel needs the rabbit. The squirrel sees the mouse. The squirrel sees the rabbit. The squirrel visits the mouse. If something is round and it sees the squirrel then it is young.
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
If something is round and it sees the squirrel then it is young.
((("something" "is" "round" "+") ("something" "sees" "squirrel" "+")) -> ("something" "is" "young" "+"))
The mouse visits the squirrel.
True
1
proof
[(triple1)]
("mouse" "visits" "squirrel" "+")
triple1
The rabbit is not round.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "round" "-")
triple3
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "young" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The mouse visits the squirrel.[(triple1)] The rabbit is kind.[(triple2)] The rabbit is round.[(triple3)] The squirrel needs the rabbit.[(triple4)] The squirrel sees the mouse.[(triple5)] The squirrel sees the rabbit.[(triple6)] The squirrel visits the mouse.[(triple7)]
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
The rabbit is round.
("rabbit" "is" "round" "+")
triple3
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple4
The squirrel sees the mouse.
("squirrel" "sees" "mouse" "+")
triple5
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple6
The squirrel visits the mouse.
("squirrel" "visits" "mouse" "+")
triple7