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