Anne is quiet. All big people are kind. Cold people are kind. If someone is furry then they are cold. If someone is cold and green then they are furry. If someone is quiet and smart then they are kind. If Anne is big then Anne is quiet. If someone is furry then they are quiet. Quiet people are furry.
Anne is quiet.
("Anne" "is" "quiet" "+")
All big people are kind.
((("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Cold people are kind.
((("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is furry then they are cold.
((("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and green then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet and smart then they are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "kind" "+"))
If Anne is big then Anne is quiet.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "quiet" "+"))
If someone is furry then they are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Anne is quiet.
True
1
proof
[(triple1)]
("Anne" "is" "quiet" "+")
triple1
Anne is not quiet.
False
1
inv-proof
[(triple1)]
("Anne" "is" "quiet" "-")
triple1
Anne is furry.
True
2
proof
[(((triple1) -> rule8))]
("Anne" "is" "furry" "+")
((triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is not furry.
False
2
inv-proof
[(((triple1) -> rule8))]
("Anne" "is" "furry" "-")
((triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
True
3
proof
[(((((triple1) -> rule8)) -> rule3))]
("Anne" "is" "cold" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not cold.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule3))]
("Anne" "is" "cold" "-")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is smart.
Unknown
random
[@0: Anne is smart.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "smart" "+")
@0: Anne is quiet.[(triple1)] @1: Anne is furry.[(((triple1) -> rule8))] @2: Anne is cold.[(((((triple1) -> rule8)) -> rule3))] @3: Anne is kind.[(((((((triple1) -> rule8)) -> rule3)) -> rule2))]
Anne is quiet.
("Anne" "is" "quiet" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
((triple1) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple1) -> (rule8 % int2))) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule8 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3