The rabbit visits the squirrel. The squirrel likes the rabbit. If something likes the squirrel then the squirrel likes the rabbit. If something visits the rabbit and the rabbit visits the squirrel then the squirrel is big. If something is red and it chases the rabbit then the rabbit chases the squirrel. If something visits the squirrel then the squirrel is blue. If something likes the rabbit then the rabbit is blue. If something chases the squirrel then it visits the squirrel. If the squirrel likes the rabbit and the squirrel is blue then the squirrel chases the rabbit. If something chases the squirrel and the squirrel chases the rabbit then the rabbit likes the squirrel.
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If something likes the squirrel then the squirrel likes the rabbit.
((("something" "likes" "squirrel" "+")) -> ("squirrel" "likes" "rabbit" "+"))
If something visits the rabbit and the rabbit visits the squirrel then the squirrel is big.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("squirrel" "is" "big" "+"))
If something is red and it chases the rabbit then the rabbit chases the squirrel.
((("something" "is" "red" "+") ("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If something visits the squirrel then the squirrel is blue.
((("something" "visits" "squirrel" "+")) -> ("squirrel" "is" "blue" "+"))
If something likes the rabbit then the rabbit is blue.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If something chases the squirrel then it visits the squirrel.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If the squirrel likes the rabbit and the squirrel is blue then the squirrel chases the rabbit.
((("squirrel" "likes" "rabbit" "+") ("squirrel" "is" "blue" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If something chases the squirrel and the squirrel chases the rabbit then the rabbit likes the squirrel.
((("something" "chases" "squirrel" "+") ("squirrel" "chases" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
The squirrel likes the rabbit.
True
1
proof
[(triple2)]
("squirrel" "likes" "rabbit" "+")
triple2
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple2)]
("squirrel" "likes" "rabbit" "-")
triple2
The squirrel is blue.
True
2
proof
[(((triple1) -> rule4))]
("squirrel" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not blue.
False
2
inv-proof
[(((triple1) -> rule4))]
("squirrel" "is" "blue" "-")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel is not big.
Unknown
inv-rconc
[@1: The squirrel is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "big" "-")
The squirrel visits the squirrel.
Unknown
rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The squirrel visits the rabbit.
Unknown
random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "+")
@0: The rabbit visits the squirrel.[(triple1)] The squirrel likes the rabbit.[(triple2)] @1: The rabbit is blue.[(((triple2) -> rule5))] The squirrel is blue.[(((triple1) -> rule4))] @2: The squirrel chases the rabbit.[(((triple2 ((triple1) -> rule4)) -> rule7))]
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple1
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple2
The rabbit is blue.
("rabbit" "is" "blue" "+")
((triple2) -> (rule5 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
((triple1) -> (rule4 % int1))
The squirrel is blue.
("squirrel" "is" "blue" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((triple2 ((triple1) -> (rule4 % int2))) -> (rule7 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The squirrel is blue.
("squirrel" "is" "blue" "+")
int2