The bear is young. The bear likes the cat. The bear likes the cow. The bear visits the cat. The cat is nice. The cat is red. The cat is young. The cat likes the bear. The cat sees the bear. The cat visits the bear. The cat visits the cow. The cow is big. The cow is nice. The cow is red. The cow likes the bear. The cow visits the cat. If someone is red then they see the cow. If someone sees the cat and the cat is big then the cat sees the bear. Nice people are blue. If someone likes the bear and they visit the bear then the bear is nice. If someone likes the cat and the cat is young then the cat likes the bear. All blue people are big.
The bear is young.
("bear" "is" "young" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone is red then they see the cow.
((("someone" "is" "red" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cat and the cat is big then the cat sees the bear.
((("someone" "sees" "cat" "+") ("cat" "is" "big" "+")) -> ("cat" "sees" "bear" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the bear and they visit the bear then the bear is nice.
((("someone" "likes" "bear" "+") ("someone" "visits" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone likes the cat and the cat is young then the cat likes the bear.
((("someone" "likes" "cat" "+") ("cat" "is" "young" "+")) -> ("cat" "likes" "bear" "+"))
All blue people are big.
((("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
The bear is young.
True
1
proof
[(triple1)]
("bear" "is" "young" "+")
triple1
The bear does not visit the cat.
False
1
inv-proof
[(triple4)]
("bear" "visits" "cat" "-")
triple4
The cow is blue.
True
2
proof
[(((triple13) -> rule3))]
("cow" "is" "blue" "+")
((triple13) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cat is not blue.
False
2
inv-proof
[(((triple5) -> rule3))]
("cat" "is" "blue" "-")
((triple5) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is big.
True
3
proof
[(((((triple5) -> rule3)) -> rule6))]
("cat" "is" "big" "+")
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat is not big.
False
3
inv-proof
[(((((triple5) -> rule3)) -> rule6))]
("cat" "is" "big" "-")
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The bear does not see the cow.
Unknown
inv-rconc
[@1: The bear sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "cow" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The cow likes the cat.
Unknown
random
[@0: The cow likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cat" "+")
The cat does not like the cow.
Unknown
inv-random
[@0: The cat likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cow" "-")
The cow sees the cat.
Unknown
random
[@0: The cow sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cat" "+")
@0: The bear is young.[(triple1)] The bear likes the cat.[(triple2)] The bear likes the cow.[(triple3)] The bear visits the cat.[(triple4)] The cat is nice.[(triple5)] The cat is red.[(triple6)] The cat is young.[(triple7)] The cat likes the bear.[(triple8 OR ((triple2 triple7) -> rule5))] The cat sees the bear.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the cow.[(triple11)] The cow is big.[(triple12 OR ((((triple13) -> rule3)) -> rule6))] The cow is nice.[(triple13)] The cow is red.[(triple14)] The cow likes the bear.[(triple15)] The cow visits the cat.[(triple16)] @1: The bear is nice.[(((triple8 triple10) -> rule4) OR ((((triple2 triple7) -> rule5) triple10) -> rule4))] The cat is blue.[(((triple5) -> rule3))] The cat sees the cow.[(((triple6) -> rule1))] The cow is blue.[(((triple13) -> rule3))] The cow sees the cow.[(((triple14) -> rule1))] @2: The bear is blue.[(((((triple8 triple10) -> rule4)) -> rule3) OR ((((((triple2 triple7) -> rule5) triple10) -> rule4)) -> rule3))] The cat is big.[(((((triple5) -> rule3)) -> rule6))] @3: The bear is big.[(((((((triple8 triple10) -> rule4)) -> rule3)) -> rule6) OR ((((((((triple2 triple7) -> rule5) triple10) -> rule4)) -> rule3)) -> rule6))]
The bear is young.
("bear" "is" "young" "+")
triple1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is red.
("cat" "is" "red" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat likes the bear.
("cat" "likes" "bear" "+")
triple8
((triple2 triple7) -> (rule5 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat sees the bear.
("cat" "sees" "bear" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat visits the cow.
("cat" "visits" "cow" "+")
triple11
The cow is big.
("cow" "is" "big" "+")
triple12
((((triple13) -> (rule3 % int2))) -> (rule6 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is nice.
("cow" "is" "nice" "+")
triple13
The cow is red.
("cow" "is" "red" "+")
triple14
The cow likes the bear.
("cow" "likes" "bear" "+")
triple15
The cow visits the cat.
("cow" "visits" "cat" "+")
triple16
The bear is nice.
("bear" "is" "nice" "+")
((triple8 triple10) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((((triple2 triple7) -> (rule5 % int2)) triple10) -> (rule4 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The cat likes the bear.
("cat" "likes" "bear" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
((triple5) -> (rule3 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
((triple6) -> (rule1 % int1))
The cat sees the cow.
("cat" "sees" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
((triple13) -> (rule3 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple14) -> (rule1 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
((((triple8 triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((((((triple2 triple7) -> (rule5 % int3)) triple10) -> (rule4 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The cat likes the bear.
("cat" "likes" "bear" "+")
int3
The cat is big.
("cat" "is" "big" "+")
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The bear is big.
("bear" "is" "big" "+")
((((((triple8 triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
((((((((triple2 triple7) -> (rule5 % int4)) triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The cat likes the bear.
("cat" "likes" "bear" "+")
int4