The dog eats the tiger. The dog is blue. The dog is cold. The dog is green. The dog is round. The dog needs the tiger. The dog sees the tiger. The tiger eats the dog. The tiger is blue. The tiger is cold. The tiger is green. The tiger is nice. The tiger is round. The tiger needs the dog. The tiger sees the dog. If the dog eats the tiger then the tiger eats the dog. If someone eats the tiger and the tiger needs the dog then they are green. If someone needs the tiger then they are nice.
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog sees the tiger.
("dog" "sees" "tiger" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If the dog eats the tiger then the tiger eats the dog.
((("dog" "eats" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
If someone eats the tiger and the tiger needs the dog then they are green.
((("someone" "eats" "tiger" "+") ("tiger" "needs" "dog" "+")) -> ("someone" "is" "green" "+"))
If someone needs the tiger then they are nice.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "nice" "+"))
The tiger is cold.
True
1
proof
[(triple10)]
("tiger" "is" "cold" "+")
triple10
The tiger is not green.
False
1
inv-proof
[(triple11)]
("tiger" "is" "green" "-")
triple11
The dog is nice.
True
2
proof
[(((triple6) -> rule3))]
("dog" "is" "nice" "+")
((triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is not nice.
False
2
inv-proof
[(((triple6) -> rule3))]
("dog" "is" "nice" "-")
((triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
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 tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The dog eats the tiger.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is green.[(triple4 OR ((triple1 triple14) -> rule2))] The dog is round.[(triple5)] The dog needs the tiger.[(triple6)] The dog sees the tiger.[(triple7)] The tiger eats the dog.[(triple8 OR ((triple1) -> rule1))] The tiger is blue.[(triple9)] The tiger is cold.[(triple10)] The tiger is green.[(triple11)] The tiger is nice.[(triple12)] The tiger is round.[(triple13)] The tiger needs the dog.[(triple14)] The tiger sees the dog.[(triple15)] @1: The dog is nice.[(((triple6) -> rule3))]
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
((triple1 triple14) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is round.
("dog" "is" "round" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The dog sees the tiger.
("dog" "sees" "tiger" "+")
triple7
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple8
((triple1) -> (rule1 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is cold.
("tiger" "is" "cold" "+")
triple10
The tiger is green.
("tiger" "is" "green" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple14
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple15
The dog is nice.
("dog" "is" "nice" "+")
((triple6) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1