The dog is round. The dog visits the squirrel. The rabbit chases the dog. The rabbit chases the squirrel. The rabbit is red. The squirrel chases the dog. The squirrel chases the rabbit. The squirrel needs the rabbit. The squirrel visits the dog. The squirrel visits the rabbit. If someone is round then they chase the squirrel. If someone is blue then they chase the rabbit. If someone chases the rabbit then the rabbit is young. If someone is red then they need the rabbit. If someone visits the dog then the dog needs the squirrel. If someone is young and red then they chase the rabbit. If the dog is rough and the dog visits the rabbit then the dog needs the squirrel. If the squirrel is rough and the squirrel is young then the squirrel needs the dog.
The dog is round.
("dog" "is" "round" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone is round then they chase the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is blue then they chase the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone chases the rabbit then the rabbit is young.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If someone is red then they need the rabbit.
((("someone" "is" "red" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone visits the dog then the dog needs the squirrel.
((("someone" "visits" "dog" "+")) -> ("dog" "needs" "squirrel" "+"))
If someone is young and red then they chase the rabbit.
((("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "rabbit" "+"))
If the dog is rough and the dog visits the rabbit then the dog needs the squirrel.
((("dog" "is" "rough" "+") ("dog" "visits" "rabbit" "+")) -> ("dog" "needs" "squirrel" "+"))
If the squirrel is rough and the squirrel is young then the squirrel needs the dog.
((("squirrel" "is" "rough" "+") ("squirrel" "is" "young" "+")) -> ("squirrel" "needs" "dog" "+"))
The rabbit chases the squirrel.
True
1
proof
[(triple4)]
("rabbit" "chases" "squirrel" "+")
triple4
The rabbit does not chase the squirrel.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "squirrel" "-")
triple4
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The dog is round.[(triple1)] The dog visits the squirrel.[(triple2)] The rabbit chases the dog.[(triple3)] The rabbit chases the squirrel.[(triple4)] The rabbit is red.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel chases the rabbit.[(triple7)] The squirrel needs the rabbit.[(triple8)] The squirrel visits the dog.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The dog chases the squirrel.[(((triple1) -> rule1))] The dog needs the squirrel.[(((triple9) -> rule5))] The rabbit is young.[(((triple7) -> rule3))] The rabbit needs the rabbit.[(((triple5) -> rule4))] @2: The rabbit chases the rabbit.[(((((triple7) -> rule3) triple5) -> rule6))]
The dog is round.
("dog" "is" "round" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple3
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
triple6
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple7
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple8
The squirrel visits the dog.
("squirrel" "visits" "dog" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple1) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((triple9) -> (rule5 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple7) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple5) -> (rule4 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple7) -> (rule3 % int2)) triple5) -> (rule6 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2