Anne is white. Anne is young. Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. Charlie is young. Fiona is blue. Fiona is young. Harry is kind. Harry is nice. Harry is white. Harry is young. Red things are nice. If something is kind and nice then it is red. All blue things are white. If Fiona is nice and Fiona is white then Fiona is kind. All nice, big things are blue. All young things are nice.
Harry is red.
@0: Anne is white.[(triple1)] Anne is young.[(triple2)] Charlie is big.[(triple3)] Charlie is blue.[(triple4 OR ((triple6 triple3) -> rule5) OR ((((triple7) -> rule1) triple3) -> rule5) OR ((((triple9) -> rule6) triple3) -> rule5))] Charlie is kind.[(triple5)] Charlie is nice.[(triple6 OR ((triple7) -> rule1) OR ((triple9) -> rule6))] Charlie is red.[(triple7 OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple9) -> rule6)) -> rule2))] Charlie is white.[(triple8 OR ((triple4) -> rule3) OR ((((triple6 triple3) -> rule5)) -> rule3) OR ((((((triple7) -> rule1) triple3) -> rule5)) -> rule3) OR ((((((triple9) -> rule6) triple3) -> rule5)) -> rule3))] Charlie is young.[(triple9)] Fiona is blue.[(triple10)] Fiona is young.[(triple11)] Harry is kind.[(triple12)] Harry is nice.[(triple13 OR ((triple15) -> rule6))] Harry is white.[(triple14)] Harry is young.[(triple15)] @1: Anne is nice.[(((triple2) -> rule6))] Fiona is nice.[(((triple11) -> rule6))] Fiona is white.[(((triple10) -> rule3))] Harry is red.[(((triple12 triple13) -> rule2) OR ((triple12 ((triple15) -> rule6)) -> rule2))] @2: Fiona is kind.[(((((triple11) -> rule6) ((triple10) -> rule3)) -> rule4))] @3: Fiona is red.[(((((((triple11) -> rule6) ((triple10) -> rule3)) -> rule4) ((triple11) -> rule6)) -> rule2))]