Gary is big. Gary is blue. Gary is green. Gary is quiet. Gary is rough. Gary is smart. Gary is white. Harry is big. Harry is blue. Harry is green. Harry is quiet. Harry is rough. Harry is smart. Harry is white. All green things are smart. Quiet things are rough. Big things are white.
Harry is quiet.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is green.[(triple3)] Gary is quiet.[(triple4)] Gary is rough.[(triple5 OR ((triple4) -> rule2))] Gary is smart.[(triple6 OR ((triple3) -> rule1))] Gary is white.[(triple7 OR ((triple1) -> rule3))] Harry is big.[(triple8)] Harry is blue.[(triple9)] Harry is green.[(triple10)] Harry is quiet.[(triple11)] Harry is rough.[(triple12 OR ((triple11) -> rule2))] Harry is smart.[(triple13 OR ((triple10) -> rule1))] Harry is white.[(triple14 OR ((triple8) -> rule3))]