Charlie is kind. Charlie is quiet. Charlie is smart. Dave is kind. Dave is quiet. Dave is white. Erin is quiet. Erin is white. Fiona is green. Fiona is smart. Smart, young things are green. If something is quiet and cold then it is kind. If something is young then it is smart. If something is smart then it is cold. If Erin is quiet then Erin is smart. If Charlie is cold then Charlie is young. White, kind things are smart. If something is smart and green then it is cold.
Erin is not young.
@0: Charlie is kind.[(triple1 OR ((triple2 ((triple3) -> rule4)) -> rule2))] Charlie is quiet.[(triple2)] Charlie is smart.[(triple3)] Dave is kind.[(triple4)] Dave is quiet.[(triple5)] Dave is white.[(triple6)] Erin is quiet.[(triple7)] Erin is white.[(triple8)] Fiona is green.[(triple9)] Fiona is smart.[(triple10)] @1: Charlie is cold.[(((triple3) -> rule4))] Dave is smart.[(((triple6 triple4) -> rule7))] Erin is smart.[(((triple7) -> rule5))] Fiona is cold.[(((triple10) -> rule4) OR ((triple10 triple9) -> rule8))] @2: Charlie is young.[(((((triple3) -> rule4)) -> rule6))] Dave is cold.[(((((triple6 triple4) -> rule7)) -> rule4))] Erin is cold.[(((((triple7) -> rule5)) -> rule4))] @3: Charlie is green.[(((triple3 ((((triple3) -> rule4)) -> rule6)) -> rule1))] Erin is kind.[(((triple7 ((((triple7) -> rule5)) -> rule4)) -> rule2))]