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