Anne is not big. Anne is cold. Anne is not furry. Anne is kind. Anne is not quiet. Anne is rough. Anne is young. All kind, young people are cold. Big people are not furry. If someone is big then they are young. Furry people are not young. If someone is kind then they are rough. If Anne is quiet and Anne is kind then Anne is furry.
Anne is not big.
("Anne" "is" "big" "-")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is young.
("Anne" "is" "young" "+")
All kind, young people are cold.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Big people are not furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "-"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Furry people are not young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "-"))
If someone is kind then they are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If Anne is quiet and Anne is kind then Anne is furry.
((("Anne" "is" "quiet" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "furry" "+"))
Anne is not furry.
True
1
proof
[(triple3)]
("Anne" "is" "furry" "-")
triple3
Anne is not kind.
False
1
inv-proof
[(triple4)]
("Anne" "is" "kind" "-")
triple4
@0: Anne is cold.[(triple2 OR ((triple4 triple7) -> rule1))] Anne is kind.[(triple4)] Anne is not big.[(triple1)] Anne is not furry.[(triple3)] Anne is not quiet.[(triple5)] Anne is rough.[(triple6 OR ((triple4) -> rule5))] Anne is young.[(triple7)]
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple4 triple7) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple4
Anne is not big.
("Anne" "is" "big" "-")
triple1
Anne is not furry.
("Anne" "is" "furry" "-")
triple3
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple5
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple4) -> (rule5 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple7