The rabbit chases the tiger. The rabbit likes the tiger. The rabbit visits the tiger. The tiger does not chase the rabbit. The tiger is green. The tiger likes the rabbit. The tiger does not visit the rabbit. If someone visits the tiger then they are not green.
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
If someone visits the tiger then they are not green.
((("someone" "visits" "tiger" "+")) -> ("someone" "is" "green" "-"))
The rabbit chases the tiger.
True
1
proof
[(triple1)]
("rabbit" "chases" "tiger" "+")
triple1
The rabbit does not visit the tiger.
False
1
inv-proof
[(triple3)]
("rabbit" "visits" "tiger" "-")
triple3
The rabbit is not green.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "-")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is green.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "green" "+")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The tiger is not kind.
Unknown
inv-random
[@0: The tiger is kind.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "kind" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The rabbit chases the tiger.[(triple1)] The rabbit likes the tiger.[(triple2)] The rabbit visits the tiger.[(triple3)] The tiger does not chase the rabbit.[(triple4)] The tiger does not visit the rabbit.[(triple7)] The tiger is green.[(triple5)] The tiger likes the rabbit.[(triple6)] @1: The rabbit is not green.[(((triple3) -> rule1))]
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple1
The rabbit likes the tiger.
("rabbit" "likes" "tiger" "+")
triple2
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple3
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
triple4
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
triple7
The tiger is green.
("tiger" "is" "green" "+")
triple5
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple6
The rabbit is not green.
("rabbit" "is" "green" "-")
((triple3) -> (rule1 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1