Charlie is big. Charlie is kind. Charlie is quiet. Charlie is young. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Gary is red. Gary is rough. Gary is young. Harry is big. Harry is kind. Harry is quiet. Harry is round. Kind people are quiet. All young people are kind. Quiet, big people are round. If Harry is rough and Harry is quiet then Harry is kind. All kind, red people are quiet. If someone is rough then they are kind.
Charlie is not big.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2 OR ((triple4) -> rule2))] Charlie is quiet.[(triple3 OR ((triple2) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Charlie is young.[(triple4)] Fiona is kind.[(triple5 OR ((triple8) -> rule6))] Fiona is quiet.[(triple6 OR ((triple5) -> rule1) OR ((triple5 triple7) -> rule5) OR ((((triple8) -> rule6)) -> rule1) OR ((((triple8) -> rule6) triple7) -> rule5))] Fiona is red.[(triple7)] Fiona is rough.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10)] Gary is young.[(triple11)] Harry is big.[(triple12)] Harry is kind.[(triple13)] Harry is quiet.[(triple14 OR ((triple13) -> rule1))] Harry is round.[(triple15 OR ((triple14 triple12) -> rule3) OR ((((triple13) -> rule1) triple12) -> rule3))] @1: Charlie is round.[(((triple3 triple1) -> rule3) OR ((((triple2) -> rule1) triple1) -> rule3) OR ((((((triple4) -> rule2)) -> rule1) triple1) -> rule3))] Gary is kind.[(((triple10) -> rule6) OR ((triple11) -> rule2))] @2: Gary is quiet.[(((((triple10) -> rule6)) -> rule1) OR ((((triple11) -> rule2)) -> rule1) OR ((((triple10) -> rule6) triple9) -> rule5) OR ((((triple11) -> rule2) triple9) -> rule5))]