Charlie is cold. Charlie is young. Dave is cold. Erin is white. Fiona is nice. Fiona is white. Fiona is young. All blue things are white. If something is nice and blue then it is white. All young, blue things are not green. If something is white then it is nice. If something is nice then it is round. If Charlie is round then Charlie is white. All blue things are young. If something is cold and green then it is young. Round things are blue.
Dave is not nice.
@0: Charlie is cold.[(triple1)] Charlie is young.[(triple2)] Dave is cold.[(triple3)] Erin is white.[(triple4)] Fiona is nice.[(triple5 OR ((triple6) -> rule4))] Fiona is white.[(triple6 OR ((((((triple5) -> rule5)) -> rule9)) -> rule1) OR ((triple5 ((((triple5) -> rule5)) -> rule9)) -> rule2))] Fiona is young.[(triple7 OR ((((((triple5) -> rule5)) -> rule9)) -> rule7) OR ((((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule7))] @1: Erin is nice.[(((triple4) -> rule4))] Fiona is round.[(((triple5) -> rule5) OR ((((triple6) -> rule4)) -> rule5))] @2: Erin is round.[(((((triple4) -> rule4)) -> rule5))] Fiona is blue.[(((((triple5) -> rule5)) -> rule9) OR ((((((triple6) -> rule4)) -> rule5)) -> rule9))] @3: Erin is blue.[(((((((triple4) -> rule4)) -> rule5)) -> rule9))] Fiona is not green.[(((triple7 ((((triple5) -> rule5)) -> rule9)) -> rule3) OR ((triple7 ((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule7) ((((triple5) -> rule5)) -> rule9)) -> rule3) OR ((((((((triple5) -> rule5)) -> rule9)) -> rule7) ((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule3) OR ((((((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule7) ((((triple5) -> rule5)) -> rule9)) -> rule3) OR ((((((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule7) ((((((triple6) -> rule4)) -> rule5)) -> rule9)) -> rule3))] @4: Erin is young.[(((((((((triple4) -> rule4)) -> rule5)) -> rule9)) -> rule7))] @5: Erin is not green.[(((((((((((triple4) -> rule4)) -> rule5)) -> rule9)) -> rule7) ((((((triple4) -> rule4)) -> rule5)) -> rule9)) -> rule3))]