The rabbit is red. If the rabbit is round then the rabbit is red. If the rabbit is rough and the rabbit is not green then the rabbit is young. If someone is rough then they are red. If someone is rough and not green then they are not red. If someone is red and round then they are young. Red people are rough. All young people are round. Rough people are round.
The rabbit is red.
("rabbit" "is" "red" "+")
If the rabbit is round then the rabbit is red.
((("rabbit" "is" "round" "+")) -> ("rabbit" "is" "red" "+"))
If the rabbit is rough and the rabbit is not green then the rabbit is young.
((("rabbit" "is" "rough" "+") ("rabbit" "is" "green" "~")) -> ("rabbit" "is" "young" "+"))
If someone is rough then they are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and not green then they are not red.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "red" "-"))
If someone is red and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
All young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The rabbit is red.
True
1
proof
[(triple1)]
("rabbit" "is" "red" "+")
triple1
The rabbit is not red.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "red" "-")
triple1
The rabbit is rough.
True
2
proof
[(((triple1) -> rule6))]
("rabbit" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("rabbit" "is" "rough" "-")
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
True
3
proof
[(((((triple1) -> rule6)) -> rule8))]
("rabbit" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is not round.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule8))]
("rabbit" "is" "round" "-")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is young.
True
5
proof
[(((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule5))]
("rabbit" "is" "young" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit is not young.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule5))]
("rabbit" "is" "young" "-")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The rabbit is red.[(triple1)] @1: The rabbit is rough.[(((triple1) -> rule6))] @2: The rabbit is round.[(((((triple1) -> rule6)) -> rule8))] @3: The rabbit is young.[(((triple1 ((((triple1) -> rule6)) -> rule8)) -> rule5))]
The rabbit is red.
("rabbit" "is" "red" "+")
triple1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((((triple1) -> (rule6 % int2))) -> (rule8 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is young.
("rabbit" "is" "young" "+")
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
int3