Charlie is big. Charlie is blue. Charlie is cold. Charlie is kind. Charlie is rough. Charlie is round. Charlie is white. Harry is big. Harry is blue. Harry is cold. Harry is kind. Harry is rough. Harry is round. Harry is white. All white things are blue. If something is big then it is white. All round, cold things are big.
Harry is round.
@0: Charlie is big.[(triple1 OR ((triple6 triple3) -> rule3))] Charlie is blue.[(triple2 OR ((triple7) -> rule1) OR ((((triple1) -> rule2)) -> rule1) OR ((((((triple6 triple3) -> rule3)) -> rule2)) -> rule1))] Charlie is cold.[(triple3)] Charlie is kind.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7 OR ((triple1) -> rule2) OR ((((triple6 triple3) -> rule3)) -> rule2))] Harry is big.[(triple8 OR ((triple13 triple10) -> rule3))] Harry is blue.[(triple9 OR ((triple14) -> rule1) OR ((((triple8) -> rule2)) -> rule1) OR ((((((triple13 triple10) -> rule3)) -> rule2)) -> rule1))] Harry is cold.[(triple10)] Harry is kind.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14 OR ((triple8) -> rule2) OR ((((triple13 triple10) -> rule3)) -> rule2))]