The dog eats the rabbit. The dog eats the tiger. The dog needs the tiger. The rabbit eats the dog. The rabbit is big. The rabbit is green. The tiger eats the rabbit. The tiger is big. The tiger is green. The tiger is rough. The tiger needs the rabbit. The tiger sees the dog. If the dog sees the rabbit then the dog is big.
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog eats the tiger.
("dog" "eats" "tiger" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If the dog sees the rabbit then the dog is big.
((("dog" "sees" "rabbit" "+")) -> ("dog" "is" "big" "+"))
The dog eats the tiger.
True
1
proof
[(triple2)]
("dog" "eats" "tiger" "+")
triple2
The tiger does not see the dog.
False
1
inv-proof
[(triple12)]
("tiger" "sees" "dog" "-")
triple12
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
@0: The dog eats the rabbit.[(triple1)] The dog eats the tiger.[(triple2)] The dog needs the tiger.[(triple3)] The rabbit eats the dog.[(triple4)] The rabbit is big.[(triple5)] The rabbit is green.[(triple6)] The tiger eats the rabbit.[(triple7)] The tiger is big.[(triple8)] The tiger is green.[(triple9)] The tiger is rough.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger sees the dog.[(triple12)]
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple1
The dog eats the tiger.
("dog" "eats" "tiger" "+")
triple2
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple7
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple11
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple12