The bear chases the dog. The bear is big. The bear is blue. The bear is nice. The bear likes the dog. The bear visits the dog. The dog chases the bear. The dog is green. The dog likes the bear. The dog visits the bear. Nice things are rough. If something is blue then it likes the bear. If something chases the bear then it is nice.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is blue then it likes the bear.
((("something" "is" "blue" "+")) -> ("something" "likes" "bear" "+"))
If something chases the bear then it is nice.
((("something" "chases" "bear" "+")) -> ("something" "is" "nice" "+"))
The bear likes the dog.
True
1
proof
[(triple5)]
("bear" "likes" "dog" "+")
triple5
The bear does not visit the dog.
False
1
inv-proof
[(triple6)]
("bear" "visits" "dog" "-")
triple6
The bear likes the bear.
True
2
proof
[(((triple3) -> rule2))]
("bear" "likes" "bear" "+")
((triple3) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is not rough.
False
2
inv-proof
[(((triple4) -> rule1))]
("bear" "is" "rough" "-")
((triple4) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The dog is rough.
True
3
proof
[(((((triple7) -> rule3)) -> rule1))]
("dog" "is" "rough" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog is not rough.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule1))]
("dog" "is" "rough" "-")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The bear is green.
Unknown
random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
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 visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
@0: The bear chases the dog.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear likes the dog.[(triple5)] The bear visits the dog.[(triple6)] The dog chases the bear.[(triple7)] The dog is green.[(triple8)] The dog likes the bear.[(triple9)] The dog visits the bear.[(triple10)] @1: The bear is rough.[(((triple4) -> rule1))] The bear likes the bear.[(((triple3) -> rule2))] The dog is nice.[(((triple7) -> rule3))] @2: The dog is rough.[(((((triple7) -> rule3)) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear visits the dog.
("bear" "visits" "dog" "+")
triple6
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog visits the bear.
("dog" "visits" "bear" "+")
triple10
The bear is rough.
("bear" "is" "rough" "+")
((triple4) -> (rule1 % int1))
The bear is rough.
("bear" "is" "rough" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple3) -> (rule2 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((triple7) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((((triple7) -> (rule3 % int2))) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2