The cat is blue. The cat is cold. The cat is kind. The cat is round. The cat likes the mouse. The cat likes the rabbit. The cat visits the mouse. The cat visits the rabbit. The mouse likes the cat. The mouse likes the rabbit. The mouse needs the cat. The mouse needs the rabbit. The mouse visits the rabbit. The rabbit is cold. The rabbit likes the mouse. The rabbit needs the cat. If something is round then it needs the mouse. If something is young and cold then it visits the cat. If something is young then it is round.
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If something is round then it needs the mouse.
((("something" "is" "round" "+")) -> ("something" "needs" "mouse" "+"))
If something is young and cold then it visits the cat.
((("something" "is" "young" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "cat" "+"))
If something is young then it is round.
((("something" "is" "young" "+")) -> ("something" "is" "round" "+"))
The cat is cold.
True
1
proof
[(triple2)]
("cat" "is" "cold" "+")
triple2
The cat does not visit the mouse.
False
1
inv-proof
[(triple7)]
("cat" "visits" "mouse" "-")
triple7
The cat needs the mouse.
True
2
proof
[(((triple4) -> rule1))]
("cat" "needs" "mouse" "+")
((triple4) -> (rule1 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The cat does not need the mouse.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "needs" "mouse" "-")
((triple4) -> (rule1 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1
The rabbit does not need the mouse.
Unknown
inv-rconc
[@2: The rabbit needs the mouse.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("rabbit" "needs" "mouse" "-")
The mouse is round.
Unknown
rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "round" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The cat is blue.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is round.[(triple4)] The cat likes the mouse.[(triple5)] The cat likes the rabbit.[(triple6)] The cat visits the mouse.[(triple7)] The cat visits the rabbit.[(triple8)] The mouse likes the cat.[(triple9)] The mouse likes the rabbit.[(triple10)] The mouse needs the cat.[(triple11)] The mouse needs the rabbit.[(triple12)] The mouse visits the rabbit.[(triple13)] The rabbit is cold.[(triple14)] The rabbit likes the mouse.[(triple15)] The rabbit needs the cat.[(triple16)] @1: The cat needs the mouse.[(((triple4) -> rule1))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple5
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple6
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple7
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple8
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple9
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple10
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple11
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple12
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple13
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple14
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple15
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple16
The cat needs the mouse.
("cat" "needs" "mouse" "+")
((triple4) -> (rule1 % int1))
The cat needs the mouse.
("cat" "needs" "mouse" "+")
int1