The bear is green. The bear is round. The bear likes the dog. The bear needs the dog. The bear sees the dog. The dog is green. The dog is red. The dog likes the bear. The dog needs the bear. The dog sees the bear. If someone needs the dog then the dog is green.
The bear is green.
("bear" "is" "green" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
If someone needs the dog then the dog is green.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
The dog is green.
True
1
proof
[(triple6 OR ((triple4) -> rule1))]
("dog" "is" "green" "+")
triple6
((triple4) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear does not see the dog.
False
1
inv-proof
[(triple5)]
("bear" "sees" "dog" "-")
triple5
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bear is green.[(triple1)] The bear is round.[(triple2)] The bear likes the dog.[(triple3)] The bear needs the dog.[(triple4)] The bear sees the dog.[(triple5)] The dog is green.[(triple6 OR ((triple4) -> rule1))] The dog is red.[(triple7)] The dog likes the bear.[(triple8)] The dog needs the bear.[(triple9)] The dog sees the bear.[(triple10)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The bear sees the dog.
("bear" "sees" "dog" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
((triple4) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is red.
("dog" "is" "red" "+")
triple7
The dog likes the bear.
("dog" "likes" "bear" "+")
triple8
The dog needs the bear.
("dog" "needs" "bear" "+")
triple9
The dog sees the bear.
("dog" "sees" "bear" "+")
triple10