The cat eats the rabbit. The cat eats the squirrel. The cat is blue. The cat is green. The rabbit eats the squirrel. The rabbit is green. The rabbit sees the cat. The squirrel sees the cat. The squirrel visits the cat. The squirrel visits the rabbit. If something is round then it visits the cat. If the cat sees the squirrel and the cat visits the squirrel then the squirrel sees the rabbit. If something is rough then it visits the squirrel. If something visits the cat then it is cold. If something is green then it visits the rabbit. If something is cold then it eats the squirrel.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is green.
("cat" "is" "green" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If something is round then it visits the cat.
((("something" "is" "round" "+")) -> ("something" "visits" "cat" "+"))
If the cat sees the squirrel and the cat visits the squirrel then the squirrel sees the rabbit.
((("cat" "sees" "squirrel" "+") ("cat" "visits" "squirrel" "+")) -> ("squirrel" "sees" "rabbit" "+"))
If something is rough then it visits the squirrel.
((("something" "is" "rough" "+")) -> ("something" "visits" "squirrel" "+"))
If something visits the cat then it is cold.
((("something" "visits" "cat" "+")) -> ("something" "is" "cold" "+"))
If something is green then it visits the rabbit.
((("something" "is" "green" "+")) -> ("something" "visits" "rabbit" "+"))
If something is cold then it eats the squirrel.
((("something" "is" "cold" "+")) -> ("something" "eats" "squirrel" "+"))
The rabbit eats the squirrel.
True
1
proof
[(triple5)]
("rabbit" "eats" "squirrel" "+")
triple5
The cat is not blue.
False
1
inv-proof
[(triple3)]
("cat" "is" "blue" "-")
triple3
The squirrel is cold.
True
2
proof
[(((triple9) -> rule4))]
("squirrel" "is" "cold" "+")
((triple9) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The rabbit does not visit the rabbit.
False
2
inv-proof
[(((triple6) -> rule5))]
("rabbit" "visits" "rabbit" "-")
((triple6) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is not cold.
Unknown
inv-rconc
[@2: The rabbit is cold.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("rabbit" "is" "cold" "-")
The cat visits the squirrel.
Unknown
rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "squirrel" "+")
The squirrel is not blue.
Unknown
inv-random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat eats the rabbit.[(triple1)] The cat eats the squirrel.[(triple2)] The cat is blue.[(triple3)] The cat is green.[(triple4)] The rabbit eats the squirrel.[(triple5)] The rabbit is green.[(triple6)] The rabbit sees the cat.[(triple7)] The squirrel sees the cat.[(triple8)] The squirrel visits the cat.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The cat visits the rabbit.[(((triple4) -> rule5))] The rabbit visits the rabbit.[(((triple6) -> rule5))] The squirrel is cold.[(((triple9) -> rule4))] @2: The squirrel eats the squirrel.[(((((triple9) -> rule4)) -> rule6))]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple7
The squirrel sees the cat.
("squirrel" "sees" "cat" "+")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
((triple4) -> (rule5 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((triple6) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((triple9) -> (rule4 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((triple9) -> (rule4 % int2))) -> (rule6 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
int2