Anne is big. Anne is blue. Anne is furry. Bob is big. Bob is cold. Dave is blue. Dave is cold. Dave is kind. Dave is quiet. Fiona is white. Cold people are furry. Kind people are white. If Anne is quiet then Anne is white. If someone is white then they are big. All cold, blue people are furry. All quiet people are cold. All quiet, white people are big. If someone is quiet then they are kind.
Anne is not cold.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3)] Bob is big.[(triple4)] Bob is cold.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7 OR ((triple9) -> rule6))] Dave is kind.[(triple8 OR ((triple9) -> rule8))] Dave is quiet.[(triple9)] Fiona is white.[(triple10)] @1: Bob is furry.[(((triple5) -> rule1))] Dave is furry.[(((triple7) -> rule1) OR ((triple7 triple6) -> rule5) OR ((((triple9) -> rule6)) -> rule1) OR ((((triple9) -> rule6) triple6) -> rule5))] Dave is white.[(((triple8) -> rule2) OR ((((triple9) -> rule8)) -> rule2))] Fiona is big.[(((triple10) -> rule4))] @2: Dave is big.[(((((triple8) -> rule2)) -> rule4) OR ((triple9 ((triple8) -> rule2)) -> rule7) OR ((((((triple9) -> rule8)) -> rule2)) -> rule4) OR ((triple9 ((((triple9) -> rule8)) -> rule2)) -> rule7))]