The dog chases the rabbit. The dog is blue. The dog is not kind. The dog likes the squirrel. The rabbit chases the dog. The rabbit is not blue. The rabbit is green. The rabbit likes the dog. The squirrel does not like the dog. The squirrel likes the rabbit. If someone visits the rabbit then they chase the squirrel. If someone is blue then they visit the rabbit. If someone visits the dog and they are young then they visit the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is not kind.
("dog" "is" "kind" "-")
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
If someone visits the rabbit then they chase the squirrel.
((("someone" "visits" "rabbit" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is blue then they visit the rabbit.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone visits the dog and they are young then they visit the rabbit.
((("someone" "visits" "dog" "+") ("someone" "is" "young" "+")) -> ("someone" "visits" "rabbit" "+"))
The rabbit is green.
True
1
proof
[(triple7)]
("rabbit" "is" "green" "+")
triple7
The rabbit is blue.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "blue" "+")
triple6
The dog visits the rabbit.
True
2
proof
[(((triple2) -> rule2))]
("dog" "visits" "rabbit" "+")
((triple2) -> (rule2 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog does not visit the rabbit.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "visits" "rabbit" "-")
((triple2) -> (rule2 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog chases the squirrel.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "chases" "squirrel" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The dog does not chase the squirrel.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "chases" "squirrel" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2
The squirrel does not chase the squirrel.
Unknown
inv-rconc
[@2: The squirrel chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The rabbit chases the squirrel.
Unknown
rconc
[@2: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("rabbit" "chases" "squirrel" "+")
The squirrel does not visit the rabbit.
Unknown
inv-rconc
[@1: The squirrel visits the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "visits" "rabbit" "-")
The rabbit visits the dog.
Unknown
random
[@0: The rabbit visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "dog" "+")
The dog does not visit the squirrel.
Unknown
inv-random
[@0: The dog visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "squirrel" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The dog chases the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is not kind.[(triple3)] The dog likes the squirrel.[(triple4)] The rabbit chases the dog.[(triple5)] The rabbit is green.[(triple7)] The rabbit is not blue.[(triple6)] The rabbit likes the dog.[(triple8)] The squirrel does not like the dog.[(triple9)] The squirrel likes the rabbit.[(triple10)] @1: The dog visits the rabbit.[(((triple2) -> rule2))] @2: The dog chases the squirrel.[(((((triple2) -> rule2)) -> rule1))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is not kind.
("dog" "is" "kind" "-")
triple3
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
triple4
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple7
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple6
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple8
The squirrel does not like the dog.
("squirrel" "likes" "dog" "-")
triple9
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple10
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
((triple2) -> (rule2 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
int1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int2