The dog is cold. The dog is nice. The dog is young. The dog sees the squirrel. The dog visits the rabbit. The rabbit is young. The rabbit likes the squirrel. The rabbit sees the dog. The rabbit sees the squirrel. The rabbit visits the squirrel. The squirrel is red. The squirrel is round. The squirrel likes the dog. The squirrel sees the dog. The squirrel sees the rabbit. The squirrel visits the rabbit. If someone is round then they see the squirrel.
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is round then they see the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "sees" "squirrel" "+"))
The rabbit likes the squirrel.
True
1
proof
[(triple7)]
("rabbit" "likes" "squirrel" "+")
triple7
The squirrel is not red.
False
1
inv-proof
[(triple11)]
("squirrel" "is" "red" "-")
triple11
The squirrel sees the squirrel.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel does not see the squirrel.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "sees" "squirrel" "-")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The dog sees the rabbit.
Unknown
random
[@0: The dog sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "rabbit" "+")
@0: The dog is cold.[(triple1)] The dog is nice.[(triple2)] The dog is young.[(triple3)] The dog sees the squirrel.[(triple4)] The dog visits the rabbit.[(triple5)] The rabbit is young.[(triple6)] The rabbit likes the squirrel.[(triple7)] The rabbit sees the dog.[(triple8)] The rabbit sees the squirrel.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] The squirrel likes the dog.[(triple13)] The squirrel sees the dog.[(triple14)] The squirrel sees the rabbit.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The squirrel sees the squirrel.[(((triple12) -> rule1))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog is nice.
("dog" "is" "nice" "+")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog sees the squirrel.
("dog" "sees" "squirrel" "+")
triple4
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple5
The rabbit is young.
("rabbit" "is" "young" "+")
triple6
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple7
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple8
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple13
The squirrel sees the dog.
("squirrel" "sees" "dog" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple16
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((triple12) -> (rule1 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1