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