The dog chases the rabbit. The dog visits the rabbit. The dog visits the squirrel. The rabbit eats the dog. The rabbit is round. The squirrel chases the rabbit. The squirrel is round. If someone visits the squirrel then they chase the squirrel. If someone is blue then they chase the rabbit. If someone is rough then they chase the squirrel.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone visits the squirrel then they chase the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is blue then they chase the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone is rough then they chase the squirrel.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "squirrel" "+"))
The rabbit is round.
True
1
proof
[(triple5)]
("rabbit" "is" "round" "+")
triple5
The squirrel does not chase the rabbit.
False
1
inv-proof
[(triple6)]
("squirrel" "chases" "rabbit" "-")
triple6
The dog chases the squirrel.
True
2
proof
[(((triple3) -> rule1))]
("dog" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog does not chase the squirrel.
False
2
inv-proof
[(((triple3) -> rule1))]
("dog" "chases" "squirrel" "-")
((triple3) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The squirrel chases the squirrel.
Unknown
rconc
[@1: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "+")
The dog does not eat the rabbit.
Unknown
inv-random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "rabbit" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The dog chases the rabbit.[(triple1)] The dog visits the rabbit.[(triple2)] The dog visits the squirrel.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit is round.[(triple5)] The squirrel chases the rabbit.[(triple6)] The squirrel is round.[(triple7)] @1: The dog chases the squirrel.[(((triple3) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple2
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple6
The squirrel is round.
("squirrel" "is" "round" "+")
triple7
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((triple3) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1