Gary is big. Gary is cold. Gary is furry. Gary is quiet. Gary is rough. Gary is round. Gary is not smart. Smart things are quiet. All furry things are quiet. If something is cold then it is rough. If Gary is not rough then Gary is round. If something is rough and not smart then it is big. All round things are big. If something is big and rough then it is round. If something is rough then it is round.
Gary is not cold.
@0: Gary is big.[(triple1 OR ((triple6) -> rule6) OR ((triple5 triple7) -> rule5) OR ((((triple5) -> rule8)) -> rule6) OR ((((triple2) -> rule3) triple7) -> rule5) OR ((((((triple2) -> rule3)) -> rule8)) -> rule6))] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is not smart.[(triple7)] Gary is quiet.[(triple4 OR ((triple3) -> rule2))] Gary is rough.[(triple5 OR ((triple2) -> rule3))] Gary is round.[(triple6 OR ((triple5) -> rule8) OR ((triple1 triple5) -> rule7) OR ((((triple2) -> rule3)) -> rule8) OR ((triple1 ((triple2) -> rule3)) -> rule7) OR ((((triple5 triple7) -> rule5) triple5) -> rule7) OR ((((triple5 triple7) -> rule5) ((triple2) -> rule3)) -> rule7) OR ((((((triple2) -> rule3) triple7) -> rule5) triple5) -> rule7) OR ((((((triple2) -> rule3) triple7) -> rule5) ((triple2) -> rule3)) -> rule7))]