The rabbit is round. If someone is round then they are green. If someone is rough and round then they are green. If the rabbit is green then the rabbit is not nice.
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is round then they are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
If the rabbit is green then the rabbit is not nice.
((("rabbit" "is" "green" "+")) -> ("rabbit" "is" "nice" "-"))
The rabbit is round.
True
1
proof
[(triple1)]
("rabbit" "is" "round" "+")
triple1
The rabbit is not round.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "round" "-")
triple1
The rabbit is green.
True
2
proof
[(((triple1) -> rule1))]
("rabbit" "is" "green" "+")
((triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
2
inv-proof
[(((triple1) -> rule1))]
("rabbit" "is" "green" "-")
((triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not nice.
True
3
proof
[(((((triple1) -> rule1)) -> rule3))]
("rabbit" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The rabbit is nice.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule3))]
("rabbit" "is" "nice" "+")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
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 eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The rabbit is round.[(triple1)] @1: The rabbit is green.[(((triple1) -> rule1))] @2: The rabbit is not nice.[(((((triple1) -> rule1)) -> rule3))]
The rabbit is round.
("rabbit" "is" "round" "+")
triple1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple1) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not nice.
("rabbit" "is" "nice" "-")
((((triple1) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2