Dave is green. Dave is white. Erin is cold. Erin is green. Erin is not quiet. Erin is round. Erin is smart. Erin is white. Erin is young. Fiona is cold. Fiona is round. Harry is young. All green things are young. If Dave is smart and Dave is white then Dave is young. Green, smart things are not quiet. If something is cold and not round then it is quiet. If Fiona is young then Fiona is white. If something is cold then it is smart.
Erin is green.
@0: Dave is green.[(triple1)] Dave is white.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is not quiet.[(triple5 OR ((triple4 triple7) -> rule3) OR ((triple4 ((triple3) -> rule6)) -> rule3))] Erin is round.[(triple6)] Erin is smart.[(triple7 OR ((triple3) -> rule6))] Erin is white.[(triple8)] Erin is young.[(triple9 OR ((triple4) -> rule1))] Fiona is cold.[(triple10)] Fiona is round.[(triple11)] Harry is young.[(triple12)] @1: Dave is young.[(((triple1) -> rule1))] Fiona is smart.[(((triple10) -> rule6))]