The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is big. The rabbit is young. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is blue. The squirrel is nice. The squirrel visits the rabbit. If someone is green then they chase the squirrel. If someone chases the squirrel then the squirrel visits the rabbit. If someone visits the squirrel and they eat the squirrel then they are young. If someone visits the squirrel then the squirrel visits the rabbit. If someone visits the squirrel then they are nice. If someone eats the squirrel then the squirrel is green.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is green then they chase the squirrel.
((("someone" "is" "green" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone chases the squirrel then the squirrel visits the rabbit.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If someone visits the squirrel and they eat the squirrel then they are young.
((("someone" "visits" "squirrel" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "is" "young" "+"))
If someone visits the squirrel then the squirrel visits the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "visits" "rabbit" "+"))
If someone visits the squirrel then they are nice.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the squirrel then the squirrel is green.
((("someone" "eats" "squirrel" "+")) -> ("squirrel" "is" "green" "+"))
The rabbit chases the squirrel.
True
1
proof
[(triple1)]
("rabbit" "chases" "squirrel" "+")
triple1
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "rabbit" "-")
triple6
The rabbit is nice.
True
2
proof
[(((triple5) -> rule5))]
("rabbit" "is" "nice" "+")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple5) -> rule5))]
("rabbit" "is" "nice" "-")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel chases the squirrel.
True
3
proof
[(((((triple2) -> rule6)) -> rule1))]
("squirrel" "chases" "squirrel" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel does not chase the squirrel.
False
3
inv-proof
[(((((triple2) -> rule6)) -> rule1))]
("squirrel" "chases" "squirrel" "-")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "young" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is big.[(triple3)] The rabbit is young.[(triple4 OR ((triple5 triple2) -> rule3))] The rabbit visits the squirrel.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel eats the rabbit.[(triple7)] The squirrel is blue.[(triple8)] The squirrel is nice.[(triple9)] The squirrel visits the rabbit.[(triple10 OR ((triple1) -> rule2) OR ((triple5) -> rule4) OR ((((((triple2) -> rule6)) -> rule1)) -> rule2))] @1: The rabbit is nice.[(((triple5) -> rule5))] The squirrel is green.[(((triple2) -> rule6))] @2: The squirrel chases the squirrel.[(((((triple2) -> rule6)) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is big.
("rabbit" "is" "big" "+")
triple3
The rabbit is young.
("rabbit" "is" "young" "+")
triple4
((triple5 triple2) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple8
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
((triple1) -> (rule2 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
((triple5) -> (rule4 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
((((((triple2) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int2
The squirrel is green.
("squirrel" "is" "green" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple5) -> (rule5 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
((triple2) -> (rule6 % int1))
The squirrel is green.
("squirrel" "is" "green" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
int2