The bear is big. The bear is green. The bear is kind. The bear is round. The bear likes the dog. The bear sees the dog. The bear visits the dog. The dog is cold. The dog is green. The dog is round. The dog sees the bear. The dog visits the bear. If something sees the dog and the dog likes the bear then it is big. If the bear is round then the bear sees the dog. If the dog visits the bear then the dog likes the bear. If something is cold and it visits the bear then the bear is big. If the bear visits the dog then the dog sees the bear. If something visits the dog then it likes the bear. If something likes the bear then it sees the dog. If something visits the bear and it likes the dog then the dog sees the bear.
The bear is big.
("bear" "is" "big" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If something sees the dog and the dog likes the bear then it is big.
((("something" "sees" "dog" "+") ("dog" "likes" "bear" "+")) -> ("something" "is" "big" "+"))
If the bear is round then the bear sees the dog.
((("bear" "is" "round" "+")) -> ("bear" "sees" "dog" "+"))
If the dog visits the bear then the dog likes the bear.
((("dog" "visits" "bear" "+")) -> ("dog" "likes" "bear" "+"))
If something is cold and it visits the bear then the bear is big.
((("something" "is" "cold" "+") ("something" "visits" "bear" "+")) -> ("bear" "is" "big" "+"))
If the bear visits the dog then the dog sees the bear.
((("bear" "visits" "dog" "+")) -> ("dog" "sees" "bear" "+"))
If something visits the dog then it likes the bear.
((("something" "visits" "dog" "+")) -> ("something" "likes" "bear" "+"))
If something likes the bear then it sees the dog.
((("something" "likes" "bear" "+")) -> ("something" "sees" "dog" "+"))
If something visits the bear and it likes the dog then the dog sees the bear.
((("something" "visits" "bear" "+") ("something" "likes" "dog" "+")) -> ("dog" "sees" "bear" "+"))
The bear is kind.
True
1
proof
[(triple3)]
("bear" "is" "kind" "+")
triple3
The bear is not kind.
False
1
inv-proof
[(triple3)]
("bear" "is" "kind" "-")
triple3
The bear likes the bear.
True
2
proof
[(((triple7) -> rule6))]
("bear" "likes" "bear" "+")
((triple7) -> (rule6 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog does not like the bear.
False
2
inv-proof
[(((triple12) -> rule3))]
("dog" "likes" "bear" "-")
((triple12) -> (rule3 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog sees the dog.
True
3
proof
[(((((triple12) -> rule3)) -> rule7))]
("dog" "sees" "dog" "+")
((((triple12) -> (rule3 % int2))) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog does not see the dog.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule7))]
("dog" "sees" "dog" "-")
((((triple12) -> (rule3 % int2))) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is big.
True
6
proof
[(((((((triple12) -> rule3)) -> rule7) ((triple12) -> rule3)) -> rule1))]
("dog" "is" "big" "+")
((((((triple12) -> (rule3 % int3))) -> (rule7 % int2)) ((triple12) -> (rule3 % int3))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog is not big.
False
6
inv-proof
[(((((((triple12) -> rule3)) -> rule7) ((triple12) -> rule3)) -> rule1))]
("dog" "is" "big" "-")
((((((triple12) -> (rule3 % int3))) -> (rule7 % int2)) ((triple12) -> (rule3 % int3))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The bear is not cold.
Unknown
inv-random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "-")
The bear visits the bear.
Unknown
random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "+")
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 dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bear is big.[(triple1 OR ((triple8 triple12) -> rule4) OR ((triple6 ((triple12) -> rule3)) -> rule1) OR ((((triple4) -> rule2) ((triple12) -> rule3)) -> rule1) OR ((((((triple7) -> rule6)) -> rule7) ((triple12) -> rule3)) -> rule1))] The bear is green.[(triple2)] The bear is kind.[(triple3)] The bear is round.[(triple4)] The bear likes the dog.[(triple5)] The bear sees the dog.[(triple6 OR ((triple4) -> rule2) OR ((((triple7) -> rule6)) -> rule7))] The bear visits the dog.[(triple7)] The dog is cold.[(triple8)] The dog is green.[(triple9)] The dog is round.[(triple10)] The dog sees the bear.[(triple11 OR ((triple7) -> rule5))] The dog visits the bear.[(triple12)] @1: The bear likes the bear.[(((triple7) -> rule6))] The dog likes the bear.[(((triple12) -> rule3))] @2: The dog sees the dog.[(((((triple12) -> rule3)) -> rule7))] @3: The dog is big.[(((((((triple12) -> rule3)) -> rule7) ((triple12) -> rule3)) -> rule1))]
The bear is big.
("bear" "is" "big" "+")
triple1
((triple8 triple12) -> (rule4 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple6 ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear sees the dog.
("bear" "sees" "dog" "+")
int3
((((((triple7) -> (rule6 % int4))) -> (rule7 % int3)) ((triple12) -> (rule3 % int2))) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The bear sees the dog.
("bear" "sees" "dog" "+")
int3
The bear likes the bear.
("bear" "likes" "bear" "+")
int4
The bear is green.
("bear" "is" "green" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the dog.
("bear" "likes" "dog" "+")
triple5
The bear sees the dog.
("bear" "sees" "dog" "+")
triple6
((triple4) -> (rule2 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule7 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple7
The dog is cold.
("dog" "is" "cold" "+")
triple8
The dog is green.
("dog" "is" "green" "+")
triple9
The dog is round.
("dog" "is" "round" "+")
triple10
The dog sees the bear.
("dog" "sees" "bear" "+")
triple11
((triple7) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
triple12
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple7) -> (rule6 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple12) -> (rule3 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
((((triple12) -> (rule3 % int2))) -> (rule7 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog is big.
("dog" "is" "big" "+")
((((((triple12) -> (rule3 % int3))) -> (rule7 % int2)) ((triple12) -> (rule3 % int3))) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog sees the dog.
("dog" "sees" "dog" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3