The rabbit chases the squirrel. The rabbit eats the squirrel. The rabbit is green. The rabbit is kind. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel eats the rabbit. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel visits the rabbit. If someone is kind and they eat the squirrel then they eat the rabbit. If someone is green and they eat the squirrel then the squirrel eats the rabbit.
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
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 green.
("squirrel" "is" "green" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is kind and they eat the squirrel then they eat the rabbit.
((("someone" "is" "kind" "+") ("someone" "eats" "squirrel" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone is green and they eat the squirrel then the squirrel eats the rabbit.
((("someone" "is" "green" "+") ("someone" "eats" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
The squirrel is young.
True
1
proof
[(triple15)]
("squirrel" "is" "young" "+")
triple15
The squirrel does not eat the rabbit.
False
1
inv-proof
[(triple10 OR ((triple3 triple2) -> rule2))]
("squirrel" "eats" "rabbit" "-")
triple10
((triple3 triple2) -> (rule2 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The rabbit eats the rabbit.
True
3
proof
[(((triple4 triple2) -> rule1))]
("rabbit" "eats" "rabbit" "+")
((triple4 triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("rabbit" "eats" "rabbit" "-")
((triple4 triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
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 squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit chases the squirrel.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit is green.[(triple3)] The rabbit is kind.[(triple4)] The rabbit is red.[(triple5)] The rabbit is round.[(triple6)] The rabbit is young.[(triple7)] The rabbit visits the squirrel.[(triple8)] The squirrel chases the rabbit.[(triple9)] The squirrel eats the rabbit.[(triple10 OR ((triple3 triple2) -> rule2))] The squirrel is green.[(triple11)] The squirrel is kind.[(triple12)] The squirrel is red.[(triple13)] The squirrel is round.[(triple14)] The squirrel is young.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The rabbit eats the rabbit.[(((triple4 triple2) -> rule1))]
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit is green.
("rabbit" "is" "green" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit is young.
("rabbit" "is" "young" "+")
triple7
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple8
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple9
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
((triple3 triple2) -> (rule2 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is green.
("squirrel" "is" "green" "+")
triple11
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple12
The squirrel is red.
("squirrel" "is" "red" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel is young.
("squirrel" "is" "young" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple4 triple2) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1