Charlie is big. Charlie is cold. Charlie is quiet. Charlie is red. Charlie is rough. Charlie is white. Charlie is young. Harry is big. Harry is cold. Harry is quiet. Harry is red. Harry is rough. Harry is white. Harry is young. Quiet, cold things are red. If something is cold and not white then it is quiet. All young, white things are cold. If something is quiet and not red then it is big. If something is cold and not big then it is not rough. If something is red and young then it is rough.
Harry is big.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple7 triple6) -> rule3))] Charlie is quiet.[(triple3)] Charlie is red.[(triple4 OR ((triple3 triple2) -> rule1) OR ((triple3 ((triple7 triple6) -> rule3)) -> rule1))] Charlie is rough.[(triple5 OR ((triple4 triple7) -> rule6) OR ((((triple3 triple2) -> rule1) triple7) -> rule6) OR ((((triple3 ((triple7 triple6) -> rule3)) -> rule1) triple7) -> rule6))] Charlie is white.[(triple6)] Charlie is young.[(triple7)] Harry is big.[(triple8)] Harry is cold.[(triple9 OR ((triple14 triple13) -> rule3))] Harry is quiet.[(triple10)] Harry is red.[(triple11 OR ((triple10 triple9) -> rule1) OR ((triple10 ((triple14 triple13) -> rule3)) -> rule1))] Harry is rough.[(triple12 OR ((triple11 triple14) -> rule6) OR ((((triple10 triple9) -> rule1) triple14) -> rule6) OR ((((triple10 ((triple14 triple13) -> rule3)) -> rule1) triple14) -> rule6))] Harry is white.[(triple13)] Harry is young.[(triple14)]