The rabbit is cold. If the rabbit is young then the rabbit is cold. If someone is cold and young then they are red. Cold people are young.
The rabbit is cold.
("rabbit" "is" "cold" "+")
If the rabbit is young then the rabbit is cold.
((("rabbit" "is" "young" "+")) -> ("rabbit" "is" "cold" "+"))
If someone is cold and young then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
The rabbit is cold.
True
1
proof
[(triple1)]
("rabbit" "is" "cold" "+")
triple1
The rabbit is not cold.
False
1
inv-proof
[(triple1)]
("rabbit" "is" "cold" "-")
triple1
The rabbit is young.
True
2
proof
[(((triple1) -> rule3))]
("rabbit" "is" "young" "+")
((triple1) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is not young.
False
2
inv-proof
[(((triple1) -> rule3))]
("rabbit" "is" "young" "-")
((triple1) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
True
4
proof
[(((triple1 ((triple1) -> rule3)) -> rule2))]
("rabbit" "is" "red" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is not red.
False
4
inv-proof
[(((triple1 ((triple1) -> rule3)) -> rule2))]
("rabbit" "is" "red" "-")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The rabbit is cold.[(triple1)] @1: The rabbit is young.[(((triple1) -> rule3))] @2: The rabbit is red.[(((triple1 ((triple1) -> rule3)) -> rule2))]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple1) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple1 ((triple1) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2