The bear chases the dog. The bear is rough. The bear needs the dog. The cow is rough. The cow needs the squirrel. The dog is round. The dog needs the bear. The dog needs the cow. The squirrel chases the cow. The squirrel is nice. The squirrel is red. The squirrel likes the dog. The squirrel needs the bear. The squirrel needs the dog. If the squirrel is rough then the squirrel is nice. If something likes the bear then the bear likes the dog. All rough things are round. If something is red then it chases the cow. If the dog chases the bear then the dog needs the bear. If something is rough then it needs the dog. If something needs the cow and it likes the bear then the cow chases the dog. If something is round and it likes the dog then it likes the bear. If something is round and it needs the squirrel then the squirrel is rough.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
If the squirrel is rough then the squirrel is nice.
((("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "nice" "+"))
If something likes the bear then the bear likes the dog.
((("something" "likes" "bear" "+")) -> ("bear" "likes" "dog" "+"))
All rough things are round.
((("something" "is" "rough" "+")) -> ("something" "is" "round" "+"))
If something is red then it chases the cow.
((("something" "is" "red" "+")) -> ("something" "chases" "cow" "+"))
If the dog chases the bear then the dog needs the bear.
((("dog" "chases" "bear" "+")) -> ("dog" "needs" "bear" "+"))
If something is rough then it needs the dog.
((("something" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
If something needs the cow and it likes the bear then the cow chases the dog.
((("something" "needs" "cow" "+") ("something" "likes" "bear" "+")) -> ("cow" "chases" "dog" "+"))
If something is round and it likes the dog then it likes the bear.
((("something" "is" "round" "+") ("something" "likes" "dog" "+")) -> ("something" "likes" "bear" "+"))
If something is round and it needs the squirrel then the squirrel is rough.
((("something" "is" "round" "+") ("something" "needs" "squirrel" "+")) -> ("squirrel" "is" "rough" "+"))
The squirrel needs the bear.
True
1
proof
[(triple13)]
("squirrel" "needs" "bear" "+")
triple13
The bear does not need the dog.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule6))]
("bear" "needs" "dog" "-")
triple3
((triple2) -> (rule6 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The cow is round.
True
2
proof
[(((triple4) -> rule3))]
("cow" "is" "round" "+")
((triple4) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The bear is not round.
False
2
inv-proof
[(((triple2) -> rule3))]
("bear" "is" "round" "-")
((triple2) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The squirrel is rough.
True
4
proof
[(((((triple4) -> rule3) triple5) -> rule9))]
("squirrel" "is" "rough" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule9 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The squirrel is not rough.
False
4
inv-proof
[(((((triple4) -> rule3) triple5) -> rule9))]
("squirrel" "is" "rough" "-")
((((triple4) -> (rule3 % int2)) triple5) -> (rule9 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The squirrel is round.
True
5
proof
[(((((((triple4) -> rule3) triple5) -> rule9)) -> rule3))]
("squirrel" "is" "round" "+")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule9 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The squirrel is not round.
False
5
inv-proof
[(((((((triple4) -> rule3) triple5) -> rule9)) -> rule3))]
("squirrel" "is" "round" "-")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule9 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The squirrel likes the bear.
True
7
proof
[(((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8))]
("squirrel" "likes" "bear" "+")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The squirrel does not like the bear.
False
7
inv-proof
[(((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8))]
("squirrel" "likes" "bear" "-")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The bear likes the dog.
True
8
proof
[(((((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8)) -> rule2))]
("bear" "likes" "dog" "+")
((((((((((triple4) -> (rule3 % int5)) triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5
The bear does not like the dog.
False
8
inv-proof
[(((((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8)) -> rule2))]
("bear" "likes" "dog" "-")
((((((((((triple4) -> (rule3 % int5)) triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5
The cow does not like the bear.
Unknown
inv-rconc
[@1: The cow likes the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "likes" "bear" "-")
The cow chases the dog.
Unknown
rconc
[@2: The cow chases the dog.[CWA. Example of deepest failure = (rule7 <- rule8 <- FAIL)]]
("cow" "chases" "dog" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "cow" "-")
The bear chases the cow.
Unknown
rconc
[@1: The bear chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "cow" "+")
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "chases" "cow" "-")
The dog likes the bear.
Unknown
rconc
[@1: The dog likes the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "likes" "bear" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The cow chases the squirrel.
Unknown
random
[@0: The cow chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "squirrel" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The dog does not chase the squirrel.
Unknown
inv-random
[@0: The dog chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "squirrel" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The bear chases the dog.[(triple1)] The bear is rough.[(triple2)] The bear needs the dog.[(triple3 OR ((triple2) -> rule6))] The cow is rough.[(triple4)] The cow needs the squirrel.[(triple5)] The dog is round.[(triple6)] The dog needs the bear.[(triple7)] The dog needs the cow.[(triple8)] The squirrel chases the cow.[(triple9 OR ((triple11) -> rule4))] The squirrel is nice.[(triple10 OR ((((((triple4) -> rule3) triple5) -> rule9)) -> rule1))] The squirrel is red.[(triple11)] The squirrel likes the dog.[(triple12)] The squirrel needs the bear.[(triple13)] The squirrel needs the dog.[(triple14 OR ((((((triple4) -> rule3) triple5) -> rule9)) -> rule6))] @1: The bear is round.[(((triple2) -> rule3))] The cow is round.[(((triple4) -> rule3))] The cow needs the dog.[(((triple4) -> rule6))] @2: The squirrel is rough.[(((((triple4) -> rule3) triple5) -> rule9))] @3: The squirrel is round.[(((((((triple4) -> rule3) triple5) -> rule9)) -> rule3))] @4: The squirrel likes the bear.[(((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8))] @5: The bear likes the dog.[(((((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8)) -> rule2))] @6: The bear likes the bear.[(((((triple2) -> rule3) ((((((((((triple4) -> rule3) triple5) -> rule9)) -> rule3) triple12) -> rule8)) -> rule2)) -> rule8))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
((triple2) -> (rule6 % int1))
The bear needs the dog.
("bear" "needs" "dog" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
The dog needs the cow.
("dog" "needs" "cow" "+")
triple8
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple9
((triple11) -> (rule4 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple10
((((((triple4) -> (rule3 % int3)) triple5) -> (rule9 % int2))) -> (rule1 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel likes the dog.
("squirrel" "likes" "dog" "+")
triple12
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple13
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple14
((((((triple4) -> (rule3 % int3)) triple5) -> (rule9 % int2))) -> (rule6 % int1))
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The bear is round.
("bear" "is" "round" "+")
((triple2) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The cow is round.
("cow" "is" "round" "+")
((triple4) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
((triple4) -> (rule6 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple4) -> (rule3 % int2)) triple5) -> (rule9 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The cow is round.
("cow" "is" "round" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
((((((triple4) -> (rule3 % int3)) triple5) -> (rule9 % int2))) -> (rule3 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
int2
The cow is round.
("cow" "is" "round" "+")
int3
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((((((((triple4) -> (rule3 % int4)) triple5) -> (rule9 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is rough.
("squirrel" "is" "rough" "+")
int3
The cow is round.
("cow" "is" "round" "+")
int4
The bear likes the dog.
("bear" "likes" "dog" "+")
((((((((((triple4) -> (rule3 % int5)) triple5) -> (rule9 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2))) -> (rule2 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int2
The squirrel is round.
("squirrel" "is" "round" "+")
int3
The squirrel is rough.
("squirrel" "is" "rough" "+")
int4
The cow is round.
("cow" "is" "round" "+")
int5
The bear likes the bear.
("bear" "likes" "bear" "+")
((((triple2) -> (rule3 % int7)) ((((((((((triple4) -> (rule3 % int6)) triple5) -> (rule9 % int5))) -> (rule3 % int4)) triple12) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int3
The squirrel is round.
("squirrel" "is" "round" "+")
int4
The squirrel is rough.
("squirrel" "is" "rough" "+")
int5
The cow is round.
("cow" "is" "round" "+")
int6
The bear is round.
("bear" "is" "round" "+")
int7