Charlie is white. Erin is cold. Erin is round. Erin is white. Erin is young. Fiona is kind. Fiona is round. Fiona is white. Harry is not big. Harry is blue. Harry is not kind. Harry is round. If something is cold and not round then it is kind. If something is kind and cold then it is big. If Erin is white and Erin is blue then Erin is kind. All round, young things are white. Young, kind things are cold. White things are blue.
Fiona is not young.
@0: Charlie is white.[(triple1)] Erin is cold.[(triple2 OR ((triple5 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5) OR ((triple5 ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3)) -> rule5) OR ((triple5 ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5) OR ((triple5 ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5))] Erin is round.[(triple3)] Erin is white.[(triple4 OR ((triple3 triple5) -> rule4))] Erin is young.[(triple5)] Fiona is kind.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Harry is blue.[(triple10)] Harry is not big.[(triple9)] Harry is not kind.[(triple11)] Harry is round.[(triple12)] @1: Charlie is blue.[(((triple1) -> rule6))] Erin is blue.[(((triple4) -> rule6) OR ((((triple3 triple5) -> rule4)) -> rule6))] Fiona is blue.[(((triple8) -> rule6))] @2: Erin is kind.[(((triple4 ((triple4) -> rule6)) -> rule3) OR ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) OR ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) OR ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3))] @3: Erin is big.[(((((triple4 ((triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) triple2) -> rule2) OR ((((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) triple2) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple5 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) ((triple5 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((triple4 ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple5 ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((triple4) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) ((triple5 ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((triple4) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((triple4 ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2) OR ((((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3) ((triple5 ((((triple3 triple5) -> rule4) ((((triple3 triple5) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]