Bob is kind. Bob is quiet. Bob is rough. Bob is white. Charlie is kind. Charlie is nice. Charlie is quiet. Gary is big. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is white. Gary is young. Harry is big. Harry is young. Big people are rough. Kind people are young. If someone is young then they are big.
Harry is not nice.
@0: Bob is kind.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3 OR ((((((triple1) -> rule2)) -> rule3)) -> rule1))] Bob is white.[(triple4)] Charlie is kind.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Gary is big.[(triple8 OR ((triple14) -> rule3) OR ((((triple9) -> rule2)) -> rule3))] Gary is kind.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11)] Gary is rough.[(triple12 OR ((triple8) -> rule1) OR ((((triple14) -> rule3)) -> rule1) OR ((((((triple9) -> rule2)) -> rule3)) -> rule1))] Gary is white.[(triple13)] Gary is young.[(triple14 OR ((triple9) -> rule2))] Harry is big.[(triple15 OR ((triple16) -> rule3))] Harry is young.[(triple16)] @1: Bob is young.[(((triple1) -> rule2))] Charlie is young.[(((triple5) -> rule2))] Harry is rough.[(((triple15) -> rule1) OR ((((triple16) -> rule3)) -> rule1))] @2: Bob is big.[(((((triple1) -> rule2)) -> rule3))] Charlie is big.[(((((triple5) -> rule2)) -> rule3))] @3: Charlie is rough.[(((((((triple5) -> rule2)) -> rule3)) -> rule1))]