The cow is nice. The rabbit chases the tiger. The tiger needs the rabbit. If someone chases the tiger then they are nice. If someone chases the tiger then they are young. If the tiger eats the rabbit and the rabbit is red then the tiger chases the cow.
The cow is nice.
("cow" "is" "nice" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If someone chases the tiger then they are nice.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone chases the tiger then they are young.
((("someone" "chases" "tiger" "+")) -> ("someone" "is" "young" "+"))
If the tiger eats the rabbit and the rabbit is red then the tiger chases the cow.
((("tiger" "eats" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("tiger" "chases" "cow" "+"))
The tiger needs the rabbit.
True
1
proof
[(triple3)]
("tiger" "needs" "rabbit" "+")
triple3
The tiger does not need the rabbit.
False
1
inv-proof
[(triple3)]
("tiger" "needs" "rabbit" "-")
triple3
The rabbit is young.
True
2
proof
[(((triple2) -> rule2))]
("rabbit" "is" "young" "+")
((triple2) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple2) -> rule1))]
("rabbit" "is" "nice" "-")
((triple2) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The cow is not young.
Unknown
inv-rconc
[@1: The cow is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "young" "-")
The tiger is young.
Unknown
rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "young" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
@0: The cow is nice.[(triple1)] The rabbit chases the tiger.[(triple2)] The tiger needs the rabbit.[(triple3)] @1: The rabbit is nice.[(((triple2) -> rule1))] The rabbit is young.[(((triple2) -> rule2))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple2
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple2) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple2) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1