The cat is nice. The cat is red. The cat is round. The rabbit chases the cat. The rabbit is nice. The rabbit is red. The rabbit is round. The rabbit is young. The rabbit likes the cat. The squirrel chases the cat. The squirrel chases the rabbit. The squirrel is red. The squirrel likes the cat. The squirrel likes the rabbit. The squirrel sees the rabbit. If something is blue then it is red. If the cat is round then the cat is blue.
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If something is blue then it is red.
((("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If the cat is round then the cat is blue.
((("cat" "is" "round" "+")) -> ("cat" "is" "blue" "+"))
The cat is round.
True
1
proof
[(triple3)]
("cat" "is" "round" "+")
triple3
The rabbit does not chase the cat.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "cat" "-")
triple4
The cat is blue.
True
2
proof
[(((triple3) -> rule2))]
("cat" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple3) -> rule2))]
("cat" "is" "blue" "-")
((triple3) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The squirrel is nice.
Unknown
random
[@0: The squirrel is nice.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "nice" "+")
The cat does not chase the squirrel.
Unknown
inv-random
[@0: The cat chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "squirrel" "-")
The cat sees the squirrel.
Unknown
random
[@0: The cat sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "squirrel" "+")
@0: The cat is nice.[(triple1)] The cat is red.[(triple2 OR ((((triple3) -> rule2)) -> rule1))] The cat is round.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit is nice.[(triple5)] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit is young.[(triple8)] The rabbit likes the cat.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is red.[(triple12)] The squirrel likes the cat.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The cat is blue.[(((triple3) -> rule2))]
The cat is nice.
("cat" "is" "nice" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is round.
("cat" "is" "round" "+")
triple3
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit is round.
("rabbit" "is" "round" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple11
The squirrel is red.
("squirrel" "is" "red" "+")
triple12
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The cat is blue.
("cat" "is" "blue" "+")
((triple3) -> (rule2 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1