The rabbit is cold. All blue people are rough. If someone is cold and rough then they are red. Red people are blue. If someone is young then they are blue. Red, young people are blue. If the rabbit is cold then the rabbit is red. Blue people are cold. All red, rough people are young.
The rabbit is cold.
("rabbit" "is" "cold" "+")
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Red, young people are blue.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If the rabbit is cold then the rabbit is red.
((("rabbit" "is" "cold" "+")) -> ("rabbit" "is" "red" "+"))
Blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All red, rough people are young.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("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 red.
True
2
proof
[(((triple1) -> rule6))]
("rabbit" "is" "red" "+")
((triple1) -> (rule6 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple1) -> rule6))]
("rabbit" "is" "red" "-")
((triple1) -> (rule6 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is blue.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("rabbit" "is" "blue" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is not blue.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("rabbit" "is" "blue" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is rough.
True
4
proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule1))]
("rabbit" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit is not rough.
False
4
inv-proof
[(((((((triple1) -> rule6)) -> rule3)) -> rule1))]
("rabbit" "is" "rough" "-")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
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 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 red.[(((triple1) -> rule6))] @2: The rabbit is blue.[(((((triple1) -> rule6)) -> rule3))] @3: The rabbit is rough.[(((((((triple1) -> rule6)) -> rule3)) -> rule1))] @4: The rabbit is young.[(((((triple1) -> rule6) ((((((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule8))]
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple1) -> (rule6 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is rough.
("rabbit" "is" "rough" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The rabbit is red.
("rabbit" "is" "red" "+")
int3
The rabbit is young.
("rabbit" "is" "young" "+")
((((triple1) -> (rule6 % int4)) ((((((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
int2
The rabbit is blue.
("rabbit" "is" "blue" "+")
int3
The rabbit is red.
("rabbit" "is" "red" "+")
int4