Gary is big. Gary is cold. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. Harry is big. Harry is cold. Harry is nice. Harry is quiet. Harry is round. Harry is smart. Harry is white. Round, smart things are quiet. All smart, quiet things are white. All white things are smart.
Gary is round.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is nice.[(triple3)] Gary is quiet.[(triple4 OR ((triple5 triple6) -> rule1) OR ((triple5 ((triple7) -> rule3)) -> rule1))] Gary is round.[(triple5)] Gary is smart.[(triple6 OR ((triple7) -> rule3))] Gary is white.[(triple7 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple5 triple6) -> rule1)) -> rule2))] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((triple12 triple13) -> rule1) OR ((triple12 ((triple14) -> rule3)) -> rule1))] Harry is round.[(triple12)] Harry is smart.[(triple13 OR ((triple14) -> rule3))] Harry is white.[(triple14 OR ((triple13 triple11) -> rule2) OR ((triple13 ((triple12 triple13) -> rule1)) -> rule2))]