The dog does not chase the tiger. The dog eats the tiger. The dog is green. The dog is nice. The dog is not red. The dog likes the tiger. The tiger chases the dog. The tiger eats the dog. The tiger is cold. The tiger likes the dog. If someone chases the dog then they are rough. If someone likes the dog and the dog does not chase the tiger then they eat the tiger. If someone eats the dog then they are not red.
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is not red.
("dog" "is" "red" "-")
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 cold.
("tiger" "is" "cold" "+")
The tiger likes the dog.
("tiger" "likes" "dog" "+")
If someone chases the dog then they are rough.
((("someone" "chases" "dog" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the dog and the dog does not chase the tiger then they eat the tiger.
((("someone" "likes" "dog" "+") ("dog" "chases" "tiger" "~")) -> ("someone" "eats" "tiger" "+"))
If someone eats the dog then they are not red.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "red" "-"))
The dog is nice.
True
1
proof
[(triple4)]
("dog" "is" "nice" "+")
triple4
The tiger does not like the dog.
False
1
inv-proof
[(triple10)]
("tiger" "likes" "dog" "-")
triple10
The tiger eats the tiger.
True
3
proof
[(((triple10 triple1) -> rule2))]
("tiger" "eats" "tiger" "+")
((triple10 triple1) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is red.
False
2
inv-proof
[(((triple8) -> rule3))]
("tiger" "is" "red" "+")
((triple8) -> (rule3 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
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 is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The dog does not chase the tiger.[(triple1)] The dog eats the tiger.[(triple2)] The dog is green.[(triple3)] The dog is nice.[(triple4)] The dog is not red.[(triple5)] The dog likes the tiger.[(triple6)] The tiger chases the dog.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is cold.[(triple9)] The tiger likes the dog.[(triple10)] @1: The tiger eats the tiger.[(((triple10 triple1) -> rule2))] The tiger is not red.[(((triple8) -> rule3))] The tiger is rough.[(((triple7) -> rule1))]
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is nice.
("dog" "is" "nice" "+")
triple4
The dog is not red.
("dog" "is" "red" "-")
triple5
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple6
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple7
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger likes the dog.
("tiger" "likes" "dog" "+")
triple10
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple10 triple1) -> (rule2 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1
The tiger is not red.
("tiger" "is" "red" "-")
((triple8) -> (rule3 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple7) -> (rule1 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1