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