Charlie is big. Charlie is blue. Charlie is not smart. Charlie is young. Dave is blue. Dave is rough. Dave is young. Harry is blue. Harry is cold. Harry is not young. If Harry is rough and Harry is not smart then Harry is young. If Harry is big and Harry is cold then Harry is young. If someone is blue and not smart then they are young. All young people are round. If Charlie is blue and Charlie is not young then Charlie is cold. If Charlie is round and Charlie is not smart then Charlie is not cold.
Harry is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is not smart.[(triple3)] Charlie is young.[(triple4 OR ((triple2 triple3) -> rule3))] Dave is blue.[(triple5)] Dave is rough.[(triple6)] Dave is young.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is not young.[(triple10)] @1: Charlie is round.[(((triple4) -> rule4) OR ((((triple2 triple3) -> rule3)) -> rule4))] Dave is round.[(((triple7) -> rule4))] @2: Charlie is not cold.[(((((triple4) -> rule4) triple3) -> rule6) OR ((((((triple2 triple3) -> rule3)) -> rule4) triple3) -> rule6))]