Charlie is cold. Charlie is green. Erin is cold. Erin is green. Erin is quiet. Erin is red. Erin is round. Fiona is green. Fiona is kind. Fiona is red. If someone is cold then they are quiet. Kind people are round. Cold, quiet people are kind.
Fiona is not green.
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2)] Erin is cold.[(triple3)] Erin is green.[(triple4)] Erin is quiet.[(triple5 OR ((triple3) -> rule1))] Erin is red.[(triple6)] Erin is round.[(triple7 OR ((((triple3 triple5) -> rule3)) -> rule2) OR ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule2))] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is red.[(triple10)] @1: Charlie is quiet.[(((triple1) -> rule1))] Erin is kind.[(((triple3 triple5) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3))] Fiona is round.[(((triple9) -> rule2))] @2: Charlie is kind.[(((triple1 ((triple1) -> rule1)) -> rule3))] @3: Charlie is round.[(((((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))]