The bear is red. The bear is rough. The bear needs the dog. The bear visits the dog. The dog is big. The dog is not blue. The dog is not kind. The dog is red. The dog is rough. The dog likes the bear. The dog needs the bear. The dog visits the bear. If something likes the bear and the bear does not need the dog then the dog needs the bear. If the dog visits the bear then the bear is rough. If the bear likes the dog and the bear is rough then the bear visits the dog. If something is rough then it is not blue. If something needs the dog and it needs the bear then the bear does not like the dog. If something needs the dog and the dog is kind then the dog likes the bear. If something is red then it needs the bear. If something likes the dog and it is not rough then the dog is big.
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something likes the bear and the bear does not need the dog then the dog needs the bear.
((("something" "likes" "bear" "+") ("bear" "needs" "dog" "~")) -> ("dog" "needs" "bear" "+"))
If the dog visits the bear then the bear is rough.
((("dog" "visits" "bear" "+")) -> ("bear" "is" "rough" "+"))
If the bear likes the dog and the bear is rough then the bear visits the dog.
((("bear" "likes" "dog" "+") ("bear" "is" "rough" "+")) -> ("bear" "visits" "dog" "+"))
If something is rough then it is not blue.
((("something" "is" "rough" "+")) -> ("something" "is" "blue" "-"))
If something needs the dog and it needs the bear then the bear does not like the dog.
((("something" "needs" "dog" "+") ("something" "needs" "bear" "+")) -> ("bear" "likes" "dog" "-"))
If something needs the dog and the dog is kind then the dog likes the bear.
((("something" "needs" "dog" "+") ("dog" "is" "kind" "+")) -> ("dog" "likes" "bear" "+"))
If something is red then it needs the bear.
((("something" "is" "red" "+")) -> ("something" "needs" "bear" "+"))
If something likes the dog and it is not rough then the dog is big.
((("something" "likes" "dog" "+") ("something" "is" "rough" "~")) -> ("dog" "is" "big" "+"))
The dog is big.
True
1
proof
[(triple5)]
("dog" "is" "big" "+")
triple5
The dog is blue.
False
1
inv-proof
[(triple6 OR ((triple9) -> rule4))]
("dog" "is" "blue" "+")
triple6
((triple9) -> (rule4 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The bear is not blue.
True
2
proof
[(((triple2) -> rule4) OR ((((triple12) -> rule2)) -> rule4))]
("bear" "is" "blue" "-")
((triple2) -> (rule4 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear does not need the bear.
False
2
inv-proof
[(((triple1) -> rule7))]
("bear" "needs" "bear" "-")
((triple1) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not like the dog.
True
4
proof
[(((triple3 ((triple1) -> rule7)) -> rule5))]
("bear" "likes" "dog" "-")
((triple3 ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
The bear likes the dog.
False
4
inv-proof
[(((triple3 ((triple1) -> rule7)) -> rule5))]
("bear" "likes" "dog" "+")
((triple3 ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2
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 bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The bear is kind.
Unknown
random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "+")
@0: The bear is red.[(triple1)] The bear is rough.[(triple2 OR ((triple12) -> rule2))] The bear needs the dog.[(triple3)] The bear visits the dog.[(triple4)] The dog is big.[(triple5)] The dog is not blue.[(triple6 OR ((triple9) -> rule4))] The dog is not kind.[(triple7)] The dog is red.[(triple8)] The dog is rough.[(triple9)] The dog likes the bear.[(triple10)] The dog needs the bear.[(triple11 OR ((triple8) -> rule7))] The dog visits the bear.[(triple12)] @1: The bear is not blue.[(((triple2) -> rule4) OR ((((triple12) -> rule2)) -> rule4))] The bear needs the bear.[(((triple1) -> rule7))] @2: The bear does not like the dog.[(((triple3 ((triple1) -> rule7)) -> rule5))]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
((triple12) -> (rule2 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear visits the dog.
("bear" "visits" "dog" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is not blue.
("dog" "is" "blue" "-")
triple6
((triple9) -> (rule4 % int1))
The dog is not blue.
("dog" "is" "blue" "-")
int1
The dog is not kind.
("dog" "is" "kind" "-")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is rough.
("dog" "is" "rough" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog needs the bear.
("dog" "needs" "bear" "+")
triple11
((triple8) -> (rule7 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The bear is not blue.
("bear" "is" "blue" "-")
((triple2) -> (rule4 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
((((triple12) -> (rule2 % int2))) -> (rule4 % int1))
The bear is not blue.
("bear" "is" "blue" "-")
int1
The bear is rough.
("bear" "is" "rough" "+")
int2
The bear needs the bear.
("bear" "needs" "bear" "+")
((triple1) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear does not like the dog.
("bear" "likes" "dog" "-")
((triple3 ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The bear needs the bear.
("bear" "needs" "bear" "+")
int2