Charlie is green. Dave is kind. Dave is red. Dave is young. Erin is green. Fiona is cold. Fiona is green. Fiona is kind. Fiona is red. Fiona is young. If something is green then it is kind. Young things are cold. Green, kind things are quiet. All quiet things are red. Green, kind things are young. All furry things are cold.
Charlie is not red.
@0: Charlie is green.[(triple1)] Dave is kind.[(triple2)] Dave is red.[(triple3)] Dave is young.[(triple4)] Erin is green.[(triple5)] Fiona is cold.[(triple6 OR ((triple10) -> rule2) OR ((((triple7 triple8) -> rule5)) -> rule2) OR ((((triple7 ((triple7) -> rule1)) -> rule5)) -> rule2))] Fiona is green.[(triple7)] Fiona is kind.[(triple8 OR ((triple7) -> rule1))] Fiona is red.[(triple9 OR ((((triple7 triple8) -> rule3)) -> rule4) OR ((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule4))] Fiona is young.[(triple10 OR ((triple7 triple8) -> rule5) OR ((triple7 ((triple7) -> rule1)) -> rule5))] @1: Charlie is kind.[(((triple1) -> rule1))] Dave is cold.[(((triple4) -> rule2))] Erin is kind.[(((triple5) -> rule1))] Fiona is quiet.[(((triple7 triple8) -> rule3) OR ((triple7 ((triple7) -> rule1)) -> rule3))] @2: Charlie is quiet.[(((triple1 ((triple1) -> rule1)) -> rule3))] Charlie is young.[(((triple1 ((triple1) -> rule1)) -> rule5))] Erin is quiet.[(((triple5 ((triple5) -> rule1)) -> rule3))] Erin is young.[(((triple5 ((triple5) -> rule1)) -> rule5))] @3: Charlie is cold.[(((((triple1 ((triple1) -> rule1)) -> rule5)) -> rule2))] Charlie is red.[(((((triple1 ((triple1) -> rule1)) -> rule3)) -> rule4))] Erin is cold.[(((((triple5 ((triple5) -> rule1)) -> rule5)) -> rule2))] Erin is red.[(((((triple5 ((triple5) -> rule1)) -> rule3)) -> rule4))]