The rabbit is blue. The rabbit is kind. The rabbit is red. All red things are round. If something is red then it is green. Green things are kind.
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
All red things are round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If something is red then it is green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
Green things are kind.
((("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
The rabbit is blue.
True
1
proof
[(triple1)]
("rabbit" "is" "blue" "+")
triple1
The rabbit is not red.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "red" "-")
triple3
The rabbit is green.
True
2
proof
[(((triple3) -> rule2))]
("rabbit" "is" "green" "+")
((triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple3) -> rule2))]
("rabbit" "is" "green" "-")
((triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The rabbit is blue.[(triple1)] The rabbit is kind.[(triple2 OR ((((triple3) -> rule2)) -> rule3))] The rabbit is red.[(triple3)] @1: The rabbit is green.[(((triple3) -> rule2))] The rabbit is round.[(((triple3) -> rule1))]
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple1
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple2
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
triple3
The rabbit is green.
("rabbit" "is" "green" "+")
((triple3) -> (rule2 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple3) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1