Gary is big. Gary is cold. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is white. Harry is big. Harry is cold. Harry is furry. Harry is green. Harry is nice. Harry is quiet. Harry is white. If someone is green and quiet then they are nice. All white, big people are quiet.
Harry is big.
@0: Gary is big.[(triple1)] Gary is cold.[(triple2)] Gary is furry.[(triple3)] Gary is green.[(triple4)] Gary is nice.[(triple5 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple7 triple1) -> rule2)) -> rule1))] Gary is quiet.[(triple6 OR ((triple7 triple1) -> rule2))] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is green.[(triple11)] Harry is nice.[(triple12 OR ((triple11 triple13) -> rule1) OR ((triple11 ((triple14 triple8) -> rule2)) -> rule1))] Harry is quiet.[(triple13 OR ((triple14 triple8) -> rule2))] Harry is white.[(triple14)]