The bear chases the dog. The bear is not red. The bear is round. The bear likes the dog. The bear sees the dog. The dog does not chase the bear. The dog is nice. The dog is round. The dog likes the bear. The dog sees the bear. If something chases the bear and it chases the dog then the dog is kind. If something is green and it likes the dog then it does not chase the bear. If something chases the dog and it likes the dog then it chases the bear. If the bear sees the dog then the bear is not nice. If something chases the dog and it likes the dog then it is round. If something chases the bear then the bear chases the dog. If something chases the bear and it is not round then it does not like the bear. If something chases the bear and it is green then it does not like the bear.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog does not chase the bear.
("dog" "chases" "bear" "-")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If something chases the bear and it chases the dog then the dog is kind.
((("something" "chases" "bear" "+") ("something" "chases" "dog" "+")) -> ("dog" "is" "kind" "+"))
If something is green and it likes the dog then it does not chase the bear.
((("something" "is" "green" "+") ("something" "likes" "dog" "+")) -> ("something" "chases" "bear" "-"))
If something chases the dog and it likes the dog then it chases the bear.
((("something" "chases" "dog" "+") ("something" "likes" "dog" "+")) -> ("something" "chases" "bear" "+"))
If the bear sees the dog then the bear is not nice.
((("bear" "sees" "dog" "+")) -> ("bear" "is" "nice" "-"))
If something chases the dog and it likes the dog then it is round.
((("something" "chases" "dog" "+") ("something" "likes" "dog" "+")) -> ("something" "is" "round" "+"))
If something chases the bear then the bear chases the dog.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "dog" "+"))
If something chases the bear and it is not round then it does not like the bear.
((("something" "chases" "bear" "+") ("something" "is" "round" "~")) -> ("something" "likes" "bear" "-"))
If something chases the bear and it is green then it does not like the bear.
((("something" "chases" "bear" "+") ("something" "is" "green" "+")) -> ("something" "likes" "bear" "-"))
The dog does not chase the bear.
True
1
proof
[(triple6)]
("dog" "chases" "bear" "-")
triple6
The dog does not like the bear.
False
1
inv-proof
[(triple9)]
("dog" "likes" "bear" "-")
triple9
The bear is not nice.
True
2
proof
[(((triple5) -> rule4))]
("bear" "is" "nice" "-")
((triple5) -> (rule4 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The bear does not chase the bear.
False
3
inv-proof
[(((triple1 triple4) -> rule3))]
("bear" "chases" "bear" "-")
((triple1 triple4) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The dog is kind.
True
5
proof
[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
("dog" "is" "kind" "+")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The dog is not kind.
False
5
inv-proof
[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
("dog" "is" "kind" "-")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2
The bear is not green.
Unknown
inv-random
[@0: The bear is green.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "green" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
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 see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bear chases the dog.[(triple1)] The bear is not red.[(triple2)] The bear is round.[(triple3 OR ((triple1 triple4) -> rule5))] The bear likes the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog does not chase the bear.[(triple6)] The dog is nice.[(triple7)] The dog is round.[(triple8)] The dog likes the bear.[(triple9)] The dog sees the bear.[(triple10)] @1: The bear chases the bear.[(((triple1 triple4) -> rule3))] The bear is not nice.[(((triple5) -> rule4))] @2: The dog is kind.[(((((triple1 triple4) -> rule3) triple1) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is not red.
("bear" "is" "red" "-")
triple2
The bear is round.
("bear" "is" "round" "+")
triple3
((triple1 triple4) -> (rule5 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear likes the dog.
("bear" "likes" "dog" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The dog does not chase the bear.
("dog" "chases" "bear" "-")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog likes the bear.
("dog" "likes" "bear" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10
The bear chases the bear.
("bear" "chases" "bear" "+")
((triple1 triple4) -> (rule3 % int1))
The bear chases the bear.
("bear" "chases" "bear" "+")
int1
The bear is not nice.
("bear" "is" "nice" "-")
((triple5) -> (rule4 % int1))
The bear is not nice.
("bear" "is" "nice" "-")
int1
The dog is kind.
("dog" "is" "kind" "+")
((((triple1 triple4) -> (rule3 % int2)) triple1) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The bear chases the bear.
("bear" "chases" "bear" "+")
int2