Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Harry is cold. Harry is furry. Harry is kind. Harry is quiet. Harry is red. Harry is rough. Harry is round. All furry things are cold. Furry things are rough. If Gary is quiet and Gary is kind then Gary is furry. All round, red things are cold. If something is quiet and rough then it is furry. If something is quiet then it is cold.
Harry is kind.
@0: Gary is cold.[(triple1 OR ((triple2) -> rule1) OR ((triple4) -> rule6) OR ((triple7 triple5) -> rule4) OR ((((triple4 triple3) -> rule3)) -> rule1) OR ((((triple4 triple6) -> rule5)) -> rule1))] Gary is furry.[(triple2 OR ((triple4 triple3) -> rule3) OR ((triple4 triple6) -> rule5))] Gary is kind.[(triple3)] Gary is quiet.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple2) -> rule2) OR ((((triple4 triple3) -> rule3)) -> rule2))] Gary is round.[(triple7)] Harry is cold.[(triple8 OR ((triple11) -> rule6) OR ((triple9) -> rule1) OR ((triple14 triple12) -> rule4) OR ((((triple11 triple13) -> rule5)) -> rule1))] Harry is furry.[(triple9 OR ((triple11 triple13) -> rule5))] Harry is kind.[(triple10)] Harry is quiet.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13 OR ((triple9) -> rule2))] Harry is round.[(triple14)]