The cat is round. The mouse visits the cat. If something visits the mouse then it chases the cat. If something chases the mouse and it visits the mouse then it chases the cat. If something is young then it visits the cat. If something is young and it does not visit the mouse then the mouse is round. If something chases the cat and the cat chases the mouse then the mouse likes the cat. If something visits the mouse then it is cold. If something visits the mouse and the mouse is kind then it does not like the mouse. If something is red and it visits the mouse then the mouse is cold.
The cat is round.
("cat" "is" "round" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If something visits the mouse then it chases the cat.
((("something" "visits" "mouse" "+")) -> ("something" "chases" "cat" "+"))
If something chases the mouse and it visits the mouse then it chases the cat.
((("something" "chases" "mouse" "+") ("something" "visits" "mouse" "+")) -> ("something" "chases" "cat" "+"))
If something is young then it visits the cat.
((("something" "is" "young" "+")) -> ("something" "visits" "cat" "+"))
If something is young and it does not visit the mouse then the mouse is round.
((("something" "is" "young" "+") ("something" "visits" "mouse" "~")) -> ("mouse" "is" "round" "+"))
If something chases the cat and the cat chases the mouse then the mouse likes the cat.
((("something" "chases" "cat" "+") ("cat" "chases" "mouse" "+")) -> ("mouse" "likes" "cat" "+"))
If something visits the mouse then it is cold.
((("something" "visits" "mouse" "+")) -> ("something" "is" "cold" "+"))
If something visits the mouse and the mouse is kind then it does not like the mouse.
((("something" "visits" "mouse" "+") ("mouse" "is" "kind" "+")) -> ("something" "likes" "mouse" "-"))
If something is red and it visits the mouse then the mouse is cold.
((("something" "is" "red" "+") ("something" "visits" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The mouse visits the cat.
True
1
proof
[(triple2)]
("mouse" "visits" "cat" "+")
triple2
The cat is not round.
False
1
inv-proof
[(triple1)]
("cat" "is" "round" "-")
triple1
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "round" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is round.[(triple1)] The mouse visits the cat.[(triple2)]
The cat is round.
("cat" "is" "round" "+")
triple1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple2