Gary is cold. All blue people are rough. If someone is blue and not white then they are rough. If someone is rough and not white then they are furry. If someone is cold then they are furry. Furry people are blue. If someone is rough and not green then they are cold.
Gary is cold.
("Gary" "is" "cold" "+")
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and not white then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "rough" "+"))
If someone is rough and not white then they are furry.
((("someone" "is" "rough" "+") ("someone" "is" "white" "~")) -> ("someone" "is" "furry" "+"))
If someone is cold then they are furry.
((("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
Furry people are blue.
((("someone" "is" "furry" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and not green then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "cold" "+"))
Gary is cold.
True
1
proof
[(triple1)]
("Gary" "is" "cold" "+")
triple1
Gary is not cold.
False
1
inv-proof
[(triple1)]
("Gary" "is" "cold" "-")
triple1
Gary is furry.
True
2
proof
[(((triple1) -> rule4))]
("Gary" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is not furry.
False
2
inv-proof
[(((triple1) -> rule4))]
("Gary" "is" "furry" "-")
((triple1) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
True
3
proof
[(((((triple1) -> rule4)) -> rule5))]
("Gary" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is not blue.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule5))]
("Gary" "is" "blue" "-")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
True
4
proof
[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]
("Gary" "is" "rough" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not rough.
False
4
inv-proof
[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]
("Gary" "is" "rough" "-")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Gary is cold.[(triple1)] @1: Gary is furry.[(((triple1) -> rule4))] @2: Gary is blue.[(((((triple1) -> rule4)) -> rule5))] @3: Gary is rough.[(((((((triple1) -> rule4)) -> rule5)) -> rule1))]
Gary is cold.
("Gary" "is" "cold" "+")
triple1
Gary is furry.
("Gary" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3