Charlie is cold. Charlie is nice. Charlie is quiet. Charlie is rough. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Harry is cold. Harry is quiet. Harry is rough. Harry is young. If something is rough then it is round. If something is young and nice then it is rough. If something is young and nice then it is cold. Smart, rough things are cold. All nice, young things are cold. If something is smart and rough then it is nice.
Charlie is rough.
@0: Charlie is cold.[(triple1)] Charlie is nice.[(triple2)] Charlie is quiet.[(triple3)] Charlie is rough.[(triple4)] Fiona is cold.[(triple5 OR ((triple10 triple8) -> rule4) OR ((triple11 triple6) -> rule3) OR ((triple6 triple11) -> rule5) OR ((triple10 ((triple11 triple6) -> rule2)) -> rule4) OR ((triple11 ((triple10 triple8) -> rule6)) -> rule3) OR ((((triple10 triple8) -> rule6) triple11) -> rule5))] Fiona is nice.[(triple6 OR ((triple10 triple8) -> rule6))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((triple11 triple6) -> rule2))] Fiona is round.[(triple9 OR ((triple8) -> rule1) OR ((((triple11 triple6) -> rule2)) -> rule1))] Fiona is smart.[(triple10)] Fiona is young.[(triple11)] Harry is cold.[(triple12)] Harry is quiet.[(triple13)] Harry is rough.[(triple14)] Harry is young.[(triple15)] @1: Charlie is round.[(((triple4) -> rule1))] Harry is round.[(((triple14) -> rule1))]