The bear eats the dog. The bear is cold. The bear is red. The bear is round. The bear likes the cow. The bear likes the dog. The bear needs the cow. The bear needs the dog. The cow eats the bear. The cow is cold. The cow likes the bear. The cow likes the dog. The cow needs the dog. The dog is young. The dog likes the bear. The dog likes the cow. If something is young then it likes the dog. If something needs the cow and it likes the dog then the dog likes the cow. If something eats the bear and it needs the dog then it is big. If something is round then it needs the cow. If something is big then it likes the dog. If something likes the dog then it eats the dog. If something is young then it is red. If something needs the dog then it eats the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
If something is young then it likes the dog.
((("something" "is" "young" "+")) -> ("something" "likes" "dog" "+"))
If something needs the cow and it likes the dog then the dog likes the cow.
((("something" "needs" "cow" "+") ("something" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
If something eats the bear and it needs the dog then it is big.
((("something" "eats" "bear" "+") ("something" "needs" "dog" "+")) -> ("something" "is" "big" "+"))
If something is round then it needs the cow.
((("something" "is" "round" "+")) -> ("something" "needs" "cow" "+"))
If something is big then it likes the dog.
((("something" "is" "big" "+")) -> ("something" "likes" "dog" "+"))
If something likes the dog then it eats the dog.
((("something" "likes" "dog" "+")) -> ("something" "eats" "dog" "+"))
If something is young then it is red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something needs the dog then it eats the bear.
((("something" "needs" "dog" "+")) -> ("something" "eats" "bear" "+"))
The bear is round.
True
1
proof
[(triple4)]
("bear" "is" "round" "+")
triple4
The bear does not eat the dog.
False
1
inv-proof
[(triple1 OR ((triple6) -> rule6) OR ((((((((triple8) -> rule8) triple8) -> rule3)) -> rule5)) -> rule6))]
("bear" "eats" "dog" "-")
triple1
((triple6) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((((((triple8) -> (rule8 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The cow is big.
True
3
proof
[(((triple9 triple13) -> rule3) OR ((((triple13) -> rule8) triple13) -> rule3))]
("cow" "is" "big" "+")
((triple9 triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2)) triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is not big.
False
3
inv-proof
[(((triple9 triple13) -> rule3) OR ((((triple13) -> rule8) triple13) -> rule3))]
("cow" "is" "big" "-")
((triple9 triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2)) triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The cow is not red.
Unknown
inv-rconc
[@1: The cow is red.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "red" "-")
The dog eats the bear.
Unknown
rconc
[@1: The dog eats the bear.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "eats" "bear" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
@0: The bear eats the dog.[(triple1 OR ((triple6) -> rule6) OR ((((((((triple8) -> rule8) triple8) -> rule3)) -> rule5)) -> rule6))] The bear is cold.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the dog.[(triple6 OR ((((((triple8) -> rule8) triple8) -> rule3)) -> rule5))] The bear needs the cow.[(triple7 OR ((triple4) -> rule4))] The bear needs the dog.[(triple8)] The cow eats the bear.[(triple9 OR ((triple13) -> rule8))] The cow is cold.[(triple10)] The cow likes the bear.[(triple11)] The cow likes the dog.[(triple12 OR ((((triple9 triple13) -> rule3)) -> rule5) OR ((((((triple13) -> rule8) triple13) -> rule3)) -> rule5))] The cow needs the dog.[(triple13)] The dog is young.[(triple14)] The dog likes the bear.[(triple15)] The dog likes the cow.[(triple16 OR ((triple7 triple6) -> rule2) OR ((((triple4) -> rule4) triple6) -> rule2) OR ((triple7 ((((((triple8) -> rule8) triple8) -> rule3)) -> rule5)) -> rule2) OR ((((triple4) -> rule4) ((((((triple8) -> rule8) triple8) -> rule3)) -> rule5)) -> rule2))] @1: The bear eats the bear.[(((triple8) -> rule8))] The cow eats the dog.[(((triple12) -> rule6) OR ((((((triple9 triple13) -> rule3)) -> rule5)) -> rule6) OR ((((((((triple13) -> rule8) triple13) -> rule3)) -> rule5)) -> rule6))] The cow is big.[(((triple9 triple13) -> rule3) OR ((((triple13) -> rule8) triple13) -> rule3))] The dog is red.[(((triple14) -> rule7))] The dog likes the dog.[(((triple14) -> rule1))] @2: The bear is big.[(((((triple8) -> rule8) triple8) -> rule3))] The dog eats the dog.[(((((triple14) -> rule1)) -> rule6))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
((triple6) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
((((((((triple8) -> (rule8 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bear eats the dog.
("bear" "eats" "dog" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
The bear likes the dog.
("bear" "likes" "dog" "+")
triple6
((((((triple8) -> (rule8 % int3)) triple8) -> (rule3 % int2))) -> (rule5 % int1))
The bear likes the dog.
("bear" "likes" "dog" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear eats the bear.
("bear" "eats" "bear" "+")
int3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
((triple4) -> (rule4 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple8
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
((triple13) -> (rule8 % int1))
The cow eats the bear.
("cow" "eats" "bear" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple10
The cow likes the bear.
("cow" "likes" "bear" "+")
triple11
The cow likes the dog.
("cow" "likes" "dog" "+")
triple12
((((triple9 triple13) -> (rule3 % int2))) -> (rule5 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
((((((triple13) -> (rule8 % int3)) triple13) -> (rule3 % int2))) -> (rule5 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow is big.
("cow" "is" "big" "+")
int2
The cow eats the bear.
("cow" "eats" "bear" "+")
int3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple13
The dog is young.
("dog" "is" "young" "+")
triple14
The dog likes the bear.
("dog" "likes" "bear" "+")
triple15
The dog likes the cow.
("dog" "likes" "cow" "+")
triple16
((triple7 triple6) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((((triple4) -> (rule4 % int2)) triple6) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
((triple7 ((((((triple8) -> (rule8 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
((((triple4) -> (rule4 % int5)) ((((((triple8) -> (rule8 % int4)) triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear eats the bear.
("bear" "eats" "bear" "+")
int4
The bear needs the cow.
("bear" "needs" "cow" "+")
int5
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8) -> (rule8 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The cow eats the dog.
("cow" "eats" "dog" "+")
((triple12) -> (rule6 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
((((((triple9 triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
((((((((triple13) -> (rule8 % int4)) triple13) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow is big.
("cow" "is" "big" "+")
int3
The cow eats the bear.
("cow" "eats" "bear" "+")
int4
The cow is big.
("cow" "is" "big" "+")
((triple9 triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
((((triple13) -> (rule8 % int2)) triple13) -> (rule3 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow eats the bear.
("cow" "eats" "bear" "+")
int2
The dog is red.
("dog" "is" "red" "+")
((triple14) -> (rule7 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple14) -> (rule1 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple8) -> (rule8 % int2)) triple8) -> (rule3 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear eats the bear.
("bear" "eats" "bear" "+")
int2
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple14) -> (rule1 % int2))) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog likes the dog.
("dog" "likes" "dog" "+")
int2