The dog is big. The dog is green. The dog is round. The dog is young. The dog likes the tiger. The dog does not need the tiger. The dog sees the tiger. The tiger is not big. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. The tiger likes the dog. The tiger needs the dog. The tiger sees the dog. If someone needs the tiger and they need the dog then the tiger is round. If someone is big then they like the dog. If someone needs the tiger then the tiger is big. If someone needs the tiger and the tiger sees the dog then the dog needs the tiger. If someone likes the tiger and the tiger does not need the dog then the dog does not see the tiger. If someone likes the tiger and the tiger is not round then they do not see the tiger.
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone needs the tiger and they need the dog then the tiger is round.
((("someone" "needs" "tiger" "+") ("someone" "needs" "dog" "+")) -> ("tiger" "is" "round" "+"))
If someone is big then they like the dog.
((("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the tiger then the tiger is big.
((("someone" "needs" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If someone needs the tiger and the tiger sees the dog then the dog needs the tiger.
((("someone" "needs" "tiger" "+") ("tiger" "sees" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If someone likes the tiger and the tiger does not need the dog then the dog does not see the tiger.
((("someone" "likes" "tiger" "+") ("tiger" "needs" "dog" "~")) -> ("dog" "sees" "tiger" "-"))
If someone likes the tiger and the tiger is not round then they do not see the tiger.
((("someone" "likes" "tiger" "+") ("tiger" "is" "round" "~")) -> ("someone" "sees" "tiger" "-"))
The dog is big.
True
1
proof
[(triple1)]
("dog" "is" "big" "+")
triple1
The dog is not round.
False
1
inv-proof
[(triple3)]
("dog" "is" "round" "-")
triple3
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog does not need the tiger.[(triple6)] The dog is big.[(triple1)] The dog is green.[(triple2)] The dog is round.[(triple3)] The dog is young.[(triple4)] The dog likes the tiger.[(triple5)] The dog sees the tiger.[(triple7)] The tiger is green.[(triple9)] The tiger is nice.[(triple10)] The tiger is not big.[(triple8)] The tiger is round.[(triple11)] The tiger is young.[(triple12)] The tiger likes the dog.[(triple13)] The tiger needs the dog.[(triple14)] The tiger sees the dog.[(triple15)] @1: The dog likes the dog.[(((triple1) -> rule2))]
The dog does not need the tiger.
("dog" "needs" "tiger" "-")
triple6
The dog is big.
("dog" "is" "big" "+")
triple1
The dog is green.
("dog" "is" "green" "+")
triple2
The dog is round.
("dog" "is" "round" "+")
triple3
The dog is young.
("dog" "is" "young" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10
The tiger is not big.
("tiger" "is" "big" "-")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple13
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple15
The dog likes the dog.
("dog" "likes" "dog" "+")
((triple1) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1