The dog chases the tiger. The dog eats the tiger. The dog is big. The dog is nice. The dog likes the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is big. The tiger is blue. The tiger is green. The tiger is nice. The tiger likes the dog. If someone eats the tiger and they like the dog then the dog is green. If someone eats the tiger then the tiger eats the dog. If the tiger is rough then the tiger eats the dog. If someone likes the dog then they eat the tiger. If the dog is green then the dog likes the tiger. If someone is green then they chase the dog. If the tiger likes the dog then the dog eats the tiger. If someone chases the dog and they like the dog then the dog chases the tiger.
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone eats the tiger and they like the dog then the dog is green.
((("someone" "eats" "tiger" "+") ("someone" "likes" "dog" "+")) -> ("dog" "is" "green" "+"))
If someone eats the tiger then the tiger eats the dog.
((("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "dog" "+"))
If the tiger is rough then the tiger eats the dog.
((("tiger" "is" "rough" "+")) -> ("tiger" "eats" "dog" "+"))
If someone likes the dog then they eat the tiger.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "tiger" "+"))
If the dog is green then the dog likes the tiger.
((("dog" "is" "green" "+")) -> ("dog" "likes" "tiger" "+"))
If someone is green then they chase the dog.
((("someone" "is" "green" "+")) -> ("someone" "chases" "dog" "+"))
If the tiger likes the dog then the dog eats the tiger.
((("tiger" "likes" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If someone chases the dog and they like the dog then the dog chases the tiger.
((("someone" "chases" "dog" "+") ("someone" "likes" "dog" "+")) -> ("dog" "chases" "tiger" "+"))
The tiger is nice.
True
1
proof
[(triple11)]
("tiger" "is" "nice" "+")
triple11
The tiger is not big.
False
1
inv-proof
[(triple8)]
("tiger" "is" "big" "-")
triple8
The tiger eats the tiger.
True
2
proof
[(((triple12) -> rule4))]
("tiger" "eats" "tiger" "+")
((triple12) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger does not eat the tiger.
False
2
inv-proof
[(((triple12) -> rule4))]
("tiger" "eats" "tiger" "-")
((triple12) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The dog is green.
True
4
proof
[(((((triple12) -> rule4) triple12) -> rule1))]
("dog" "is" "green" "+")
((((triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The dog is not green.
False
4
inv-proof
[(((((triple12) -> rule4) triple12) -> rule1))]
("dog" "is" "green" "-")
((((triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The dog chases the dog.
True
5
proof
[(((((((triple12) -> rule4) triple12) -> rule1)) -> rule6))]
("dog" "chases" "dog" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The dog does not chase the dog.
False
5
inv-proof
[(((((((triple12) -> rule4) triple12) -> rule1)) -> rule6))]
("dog" "chases" "dog" "-")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The tiger is rough.
Unknown
random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "+")
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 tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The dog chases the tiger.[(triple1 OR ((triple6 triple12) -> rule8) OR ((((triple10) -> rule6) triple12) -> rule8))] The dog eats the tiger.[(triple2 OR ((triple12) -> rule7))] The dog is big.[(triple3)] The dog is nice.[(triple4)] The dog likes the tiger.[(triple5 OR ((((((triple12) -> rule4) triple12) -> rule1)) -> rule5))] The tiger chases the dog.[(triple6 OR ((triple10) -> rule6))] The tiger eats the dog.[(triple7 OR ((triple2) -> rule2) OR ((((triple12) -> rule4)) -> rule2) OR ((((triple12) -> rule7)) -> rule2))] The tiger is big.[(triple8)] The tiger is blue.[(triple9)] The tiger is green.[(triple10)] The tiger is nice.[(triple11)] The tiger likes the dog.[(triple12)] @1: The tiger eats the tiger.[(((triple12) -> rule4))] @2: The dog is green.[(((((triple12) -> rule4) triple12) -> rule1))] @3: The dog chases the dog.[(((((((triple12) -> rule4) triple12) -> rule1)) -> rule6))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple1
((triple6 triple12) -> (rule8 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
((((triple10) -> (rule6 % int2)) triple12) -> (rule8 % int1))
The dog chases the tiger.
("dog" "chases" "tiger" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
((triple12) -> (rule7 % int1))
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int1
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2))) -> (rule5 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple6
((triple10) -> (rule6 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple7
((triple2) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
((((triple12) -> (rule7 % int2))) -> (rule2 % int1))
The tiger eats the dog.
("tiger" "eats" "dog" "+")
int1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
int2
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is nice.
("tiger" "is" "nice" "+")
triple11
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple12
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple12) -> (rule4 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((((triple12) -> (rule4 % int2)) triple12) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
((((((triple12) -> (rule4 % int3)) triple12) -> (rule1 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int3