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