The bear is blue. The bear is nice. The bear is not rough. The bear is not round. The bear is young. The bear likes the cat. The bear needs the cat. The bear visits the cat. The cat is blue. The cat is nice. The cat is round. The cat is not young. The cat likes the bear. The cat needs the bear. The cat visits the bear. If something likes the bear then the bear is nice. If something likes the bear then the bear is young. If something likes the cat then the cat is rough. If something needs the cat and it is nice then it visits the cat. If the bear likes the cat and the bear visits the cat then the cat visits the bear. If something is blue then it is nice.
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is not rough.
("bear" "is" "rough" "-")
The bear is not round.
("bear" "is" "round" "-")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat likes the bear.
("cat" "likes" "bear" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
If something likes the bear then the bear is nice.
((("something" "likes" "bear" "+")) -> ("bear" "is" "nice" "+"))
If something likes the bear then the bear is young.
((("something" "likes" "bear" "+")) -> ("bear" "is" "young" "+"))
If something likes the cat then the cat is rough.
((("something" "likes" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something needs the cat and it is nice then it visits the cat.
((("something" "needs" "cat" "+") ("something" "is" "nice" "+")) -> ("something" "visits" "cat" "+"))
If the bear likes the cat and the bear visits the cat then the cat visits the bear.
((("bear" "likes" "cat" "+") ("bear" "visits" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If something is blue then it is nice.
((("something" "is" "blue" "+")) -> ("something" "is" "nice" "+"))
The bear is young.
True
1
proof
[(triple5 OR ((triple13) -> rule2))]
("bear" "is" "young" "+")
triple5
((triple13) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is not nice.
False
1
inv-proof
[(triple2 OR ((triple1) -> rule6) OR ((triple13) -> rule1))]
("bear" "is" "nice" "-")
triple2
((triple1) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple13) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The cat is rough.
True
2
proof
[(((triple6) -> rule3))]
("cat" "is" "rough" "+")
((triple6) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is not rough.
False
2
inv-proof
[(((triple6) -> rule3))]
("cat" "is" "rough" "-")
((triple6) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "cat" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear is blue.[(triple1)] The bear is nice.[(triple2 OR ((triple1) -> rule6) OR ((triple13) -> rule1))] The bear is not rough.[(triple3)] The bear is not round.[(triple4)] The bear is young.[(triple5 OR ((triple13) -> rule2))] The bear likes the cat.[(triple6)] The bear needs the cat.[(triple7)] The bear visits the cat.[(triple8 OR ((triple7 triple2) -> rule4) OR ((triple7 ((triple1) -> rule6)) -> rule4) OR ((triple7 ((triple13) -> rule1)) -> rule4))] The cat is blue.[(triple9)] The cat is nice.[(triple10 OR ((triple9) -> rule6))] The cat is not young.[(triple12)] The cat is round.[(triple11)] The cat likes the bear.[(triple13)] The cat needs the bear.[(triple14)] The cat visits the bear.[(triple15 OR ((triple6 triple8) -> rule5) OR ((triple6 ((triple7 triple2) -> rule4)) -> rule5) OR ((triple6 ((triple7 ((triple1) -> rule6)) -> rule4)) -> rule5) OR ((triple6 ((triple7 ((triple13) -> rule1)) -> rule4)) -> rule5))] @1: The cat is rough.[(((triple6) -> rule3))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
((triple1) -> (rule6 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
((triple13) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not rough.
("bear" "is" "rough" "-")
triple3
The bear is not round.
("bear" "is" "round" "-")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
((triple13) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
triple6
The bear needs the cat.
("bear" "needs" "cat" "+")
triple7
The bear visits the cat.
("bear" "visits" "cat" "+")
triple8
((triple7 triple2) -> (rule4 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
((triple7 ((triple1) -> (rule6 % int2))) -> (rule4 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
((triple7 ((triple13) -> (rule1 % int2))) -> (rule4 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
triple9
The cat is nice.
("cat" "is" "nice" "+")
triple10
((triple9) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is not young.
("cat" "is" "young" "-")
triple12
The cat is round.
("cat" "is" "round" "+")
triple11
The cat likes the bear.
("cat" "likes" "bear" "+")
triple13
The cat needs the bear.
("cat" "needs" "bear" "+")
triple14
The cat visits the bear.
("cat" "visits" "bear" "+")
triple15
((triple6 triple8) -> (rule5 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
((triple6 ((triple7 triple2) -> (rule4 % int2))) -> (rule5 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
((triple6 ((triple7 ((triple1) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
((triple6 ((triple7 ((triple13) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2
The bear is nice.
("bear" "is" "nice" "+")
int3
The cat is rough.
("cat" "is" "rough" "+")
((triple6) -> (rule3 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1