Anne is big. Anne is cold. Anne is quiet. Fiona is kind. Gary is big. Gary is furry. Gary is kind. If something is cold then it is big. If Anne is furry then Anne is kind. Big things are quiet. Quiet things are furry. If Gary is furry and Gary is kind then Gary is smart. If something is smart and cold then it is nice.
Gary is cold.
@0: Anne is big.[(triple1 OR ((triple2) -> rule1))] Anne is cold.[(triple2)] Anne is quiet.[(triple3 OR ((triple1) -> rule3) OR ((((triple2) -> rule1)) -> rule3))] Fiona is kind.[(triple4)] Gary is big.[(triple5)] Gary is furry.[(triple6 OR ((((triple5) -> rule3)) -> rule4))] Gary is kind.[(triple7)] @1: Anne is furry.[(((triple3) -> rule4) OR ((((triple1) -> rule3)) -> rule4) OR ((((((triple2) -> rule1)) -> rule3)) -> rule4))] Gary is quiet.[(((triple5) -> rule3))] Gary is smart.[(((triple6 triple7) -> rule5) OR ((((((triple5) -> rule3)) -> rule4) triple7) -> rule5))] @2: Anne is kind.[(((((triple3) -> rule4)) -> rule2) OR ((((((triple1) -> rule3)) -> rule4)) -> rule2) OR ((((((((triple2) -> rule1)) -> rule3)) -> rule4)) -> rule2))]