Charlie is quiet. Charlie is rough. Charlie is white. Erin is quiet. Erin is white. Fiona is rough. Harry is cold. If Fiona is rough then Fiona is quiet. If someone is round and young then they are quiet. If someone is red then they are round. If someone is quiet then they are red. Rough, round people are young. All quiet, cold people are young. Young, rough people are white. All red, quiet people are cold. Rough, cold people are quiet.
Charlie is not rough.
@0: Charlie is quiet.[(triple1)] Charlie is rough.[(triple2)] Charlie is white.[(triple3 OR ((((triple1 ((((triple1) -> rule4) triple1) -> rule8)) -> rule6) triple2) -> rule7) OR ((((triple2 ((((triple1) -> rule4)) -> rule3)) -> rule5) triple2) -> rule7))] Erin is quiet.[(triple4)] Erin is white.[(triple5)] Fiona is rough.[(triple6)] Harry is cold.[(triple7)] @1: Charlie is red.[(((triple1) -> rule4))] Erin is red.[(((triple4) -> rule4))] Fiona is quiet.[(((triple6) -> rule1))] @2: Charlie is cold.[(((((triple1) -> rule4) triple1) -> rule8))] Charlie is round.[(((((triple1) -> rule4)) -> rule3))] Erin is cold.[(((((triple4) -> rule4) triple4) -> rule8))] Erin is round.[(((((triple4) -> rule4)) -> rule3))] Fiona is red.[(((((triple6) -> rule1)) -> rule4))] @3: Charlie is young.[(((triple1 ((((triple1) -> rule4) triple1) -> rule8)) -> rule6) OR ((triple2 ((((triple1) -> rule4)) -> rule3)) -> rule5))] Erin is young.[(((triple4 ((((triple4) -> rule4) triple4) -> rule8)) -> rule6))] Fiona is cold.[(((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule8))] Fiona is round.[(((((((triple6) -> rule1)) -> rule4)) -> rule3))] @4: Fiona is young.[(((triple6 ((((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule5) OR ((((triple6) -> rule1) ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule8)) -> rule6))] @5: Fiona is white.[(((((triple6 ((((((triple6) -> rule1)) -> rule4)) -> rule3)) -> rule5) triple6) -> rule7) OR ((((((triple6) -> rule1) ((((((triple6) -> rule1)) -> rule4) ((triple6) -> rule1)) -> rule8)) -> rule6) triple6) -> rule7))]