The dog eats the rabbit. The dog does not eat the tiger. The dog visits the rabbit. The rabbit is cold. The rabbit is rough. The rabbit visits the tiger. The tiger is nice. The tiger needs the dog. The tiger visits the dog. The tiger visits the rabbit. If the rabbit visits the tiger then the tiger is red. If someone needs the dog and the dog visits the tiger then the tiger needs the rabbit. If the tiger visits the dog then the tiger is rough.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog does not eat the tiger.
("dog" "eats" "tiger" "-")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger visits the dog.
("tiger" "visits" "dog" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If the rabbit visits the tiger then the tiger is red.
((("rabbit" "visits" "tiger" "+")) -> ("tiger" "is" "red" "+"))
If someone needs the dog and the dog visits the tiger then the tiger needs the rabbit.
((("someone" "needs" "dog" "+") ("dog" "visits" "tiger" "+")) -> ("tiger" "needs" "rabbit" "+"))
If the tiger visits the dog then the tiger is rough.
((("tiger" "visits" "dog" "+")) -> ("tiger" "is" "rough" "+"))
The tiger is nice.
True
1
proof
[(triple7)]
("tiger" "is" "nice" "+")
triple7
The rabbit is not cold.
False
1
inv-proof
[(triple4)]
("rabbit" "is" "cold" "-")
triple4
The tiger is red.
True
2
proof
[(((triple6) -> rule1))]
("tiger" "is" "red" "+")
((triple6) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple9) -> rule3))]
("tiger" "is" "rough" "-")
((triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger does not need the rabbit.
Unknown
inv-rconc
[@1: The tiger needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "needs" "rabbit" "-")
The rabbit needs the dog.
Unknown
random
[@0: The rabbit needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "dog" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The rabbit needs the tiger.
Unknown
random
[@0: The rabbit needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "tiger" "+")
@0: The dog does not eat the tiger.[(triple2)] The dog eats the rabbit.[(triple1)] The dog visits the rabbit.[(triple3)] The rabbit is cold.[(triple4)] The rabbit is rough.[(triple5)] The rabbit visits the tiger.[(triple6)] The tiger is nice.[(triple7)] The tiger needs the dog.[(triple8)] The tiger visits the dog.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The tiger is red.[(((triple6) -> rule1))] The tiger is rough.[(((triple9) -> rule3))]
The dog does not eat the tiger.
("dog" "eats" "tiger" "-")
triple2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple3
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple4
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple5
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple8
The tiger visits the dog.
("tiger" "visits" "dog" "+")
triple9
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple10
The tiger is red.
("tiger" "is" "red" "+")
((triple6) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple9) -> (rule3 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1