Charlie is blue. Charlie is cold. Charlie is round. Dave is blue. Dave is cold. Dave is green. Dave is round. Dave is young. Fiona is blue. Fiona is quiet. Fiona is round. Fiona is young. Harry is blue. Harry is cold. Harry is green. Harry is rough. Round people are cold. If Dave is quiet then Dave is young. All quiet, round people are young. Green, round people are cold. If someone is young and blue then they are cold. Round, quiet people are young. Quiet people are rough. If Fiona is quiet then Fiona is blue.
Harry is not young.
@0: Charlie is blue.[(triple1)] Charlie is cold.[(triple2 OR ((triple3) -> rule1))] Charlie is round.[(triple3)] Dave is blue.[(triple4)] Dave is cold.[(triple5 OR ((triple7) -> rule1) OR ((triple6 triple7) -> rule4) OR ((triple8 triple4) -> rule5))] Dave is green.[(triple6)] Dave is round.[(triple7)] Dave is young.[(triple8)] Fiona is blue.[(triple9 OR ((triple10) -> rule8))] Fiona is quiet.[(triple10)] Fiona is round.[(triple11)] Fiona is young.[(triple12 OR ((triple10 triple11) -> rule3) OR ((triple11 triple10) -> rule6))] Harry is blue.[(triple13)] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is rough.[(triple16)] @1: Fiona is cold.[(((triple11) -> rule1) OR ((triple12 triple9) -> rule5) OR ((triple12 ((triple10) -> rule8)) -> rule5) OR ((((triple10 triple11) -> rule3) triple9) -> rule5) OR ((((triple11 triple10) -> rule6) triple9) -> rule5) OR ((((triple10 triple11) -> rule3) ((triple10) -> rule8)) -> rule5) OR ((((triple11 triple10) -> rule6) ((triple10) -> rule8)) -> rule5))] Fiona is rough.[(((triple10) -> rule7))]