The cat eats the tiger. The rabbit eats the cat. The rabbit eats the tiger. The rabbit is rough. The rabbit needs the tiger. The tiger is young. The tiger needs the cat. If someone is rough then they chase the cat.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone is rough then they chase the cat.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "cat" "+"))
The rabbit eats the tiger.
True
1
proof
[(triple3)]
("rabbit" "eats" "tiger" "+")
triple3
The rabbit does not eat the tiger.
False
1
inv-proof
[(triple3)]
("rabbit" "eats" "tiger" "-")
triple3
The rabbit chases the cat.
True
2
proof
[(((triple4) -> rule1))]
("rabbit" "chases" "cat" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit does not chase the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("rabbit" "chases" "cat" "-")
((triple4) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The tiger does not chase the cat.
Unknown
inv-rconc
[@1: The tiger chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "cat" "-")
The cat chases the cat.
Unknown
rconc
[@1: The cat chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "cat" "+")
The tiger is not green.
Unknown
inv-random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "-")
The cat chases the tiger.
Unknown
random
[@0: The cat chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "tiger" "+")
@0: The cat eats the tiger.[(triple1)] The rabbit eats the cat.[(triple2)] The rabbit eats the tiger.[(triple3)] The rabbit is rough.[(triple4)] The rabbit needs the tiger.[(triple5)] The tiger is young.[(triple6)] The tiger needs the cat.[(triple7)] @1: The rabbit chases the cat.[(((triple4) -> rule1))]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple2
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple5
The tiger is young.
("tiger" "is" "young" "+")
triple6
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple7
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
((triple4) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1