The bear is round. The dog is young. If the bear likes the dog and the dog sees the bear then the dog visits the bear. If someone sees the dog then they visit the bear. If someone is young then they visit the bear. If the bear visits the dog then the bear is cold. If someone is round then they visit the bear. If someone visits the bear then they visit the dog.
The bear is round.
("bear" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
If the bear likes the dog and the dog sees the bear then the dog visits the bear.
((("bear" "likes" "dog" "+") ("dog" "sees" "bear" "+")) -> ("dog" "visits" "bear" "+"))
If someone sees the dog then they visit the bear.
((("someone" "sees" "dog" "+")) -> ("someone" "visits" "bear" "+"))
If someone is young then they visit the bear.
((("someone" "is" "young" "+")) -> ("someone" "visits" "bear" "+"))
If the bear visits the dog then the bear is cold.
((("bear" "visits" "dog" "+")) -> ("bear" "is" "cold" "+"))
If someone is round then they visit the bear.
((("someone" "is" "round" "+")) -> ("someone" "visits" "bear" "+"))
If someone visits the bear then they visit the dog.
((("someone" "visits" "bear" "+")) -> ("someone" "visits" "dog" "+"))
The dog is young.
True
1
proof
[(triple2)]
("dog" "is" "young" "+")
triple2
The bear is not round.
False
1
inv-proof
[(triple1)]
("bear" "is" "round" "-")
triple1
The bear visits the bear.
True
2
proof
[(((triple1) -> rule5))]
("bear" "visits" "bear" "+")
((triple1) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The bear does not visit the bear.
False
2
inv-proof
[(((triple1) -> rule5))]
("bear" "visits" "bear" "-")
((triple1) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The dog visits the dog.
True
3
proof
[(((((triple2) -> rule3)) -> rule6))]
("dog" "visits" "dog" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog does not visit the dog.
False
3
inv-proof
[(((((triple2) -> rule3)) -> rule6))]
("dog" "visits" "dog" "-")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The dog does not like the bear.
Unknown
inv-random
[@0: The dog likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bear" "-")
The bear is blue.
Unknown
random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear is round.[(triple1)] The dog is young.[(triple2)] @1: The bear visits the bear.[(((triple1) -> rule5))] The dog visits the bear.[(((triple2) -> rule3))] @2: The bear visits the dog.[(((((triple1) -> rule5)) -> rule6))] The dog visits the dog.[(((((triple2) -> rule3)) -> rule6))] @3: The bear is cold.[(((((((triple1) -> rule5)) -> rule6)) -> rule4))]
The bear is round.
("bear" "is" "round" "+")
triple1
The dog is young.
("dog" "is" "young" "+")
triple2
The bear visits the bear.
("bear" "visits" "bear" "+")
((triple1) -> (rule5 % int1))
The bear visits the bear.
("bear" "visits" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple2) -> (rule3 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bear visits the dog.
("bear" "visits" "dog" "+")
int1
The bear visits the bear.
("bear" "visits" "bear" "+")
int2
The dog visits the dog.
("dog" "visits" "dog" "+")
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
((((((triple1) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear visits the dog.
("bear" "visits" "dog" "+")
int2
The bear visits the bear.
("bear" "visits" "bear" "+")
int3