Anne is green. Anne is rough. Anne is young. Bob is kind. Bob is rough. Erin is blue. Erin is green. Erin is kind. Erin is young. Fiona is kind. Fiona is red. Fiona is white. Kind things are white. All rough things are blue. All white, kind things are young. If Erin is blue then Erin is young. If Bob is kind and Bob is blue then Bob is white. Young things are red.
Erin is rough.
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Anne is young.[(triple3)] Bob is kind.[(triple4)] Bob is rough.[(triple5)] Erin is blue.[(triple6)] Erin is green.[(triple7)] Erin is kind.[(triple8)] Erin is young.[(triple9 OR ((triple6) -> rule4) OR ((((triple8) -> rule1) triple8) -> rule3))] Fiona is kind.[(triple10)] Fiona is red.[(triple11 OR ((((triple12 triple10) -> rule3)) -> rule6) OR ((((((triple10) -> rule1) triple10) -> rule3)) -> rule6))] Fiona is white.[(triple12 OR ((triple10) -> rule1))] @1: Anne is blue.[(((triple2) -> rule2))] Anne is red.[(((triple3) -> rule6))] Bob is blue.[(((triple5) -> rule2))] Bob is white.[(((triple4) -> rule1) OR ((triple4 ((triple5) -> rule2)) -> rule5))] Erin is red.[(((triple9) -> rule6) OR ((((triple6) -> rule4)) -> rule6) OR ((((((triple8) -> rule1) triple8) -> rule3)) -> rule6))] Erin is white.[(((triple8) -> rule1))] Fiona is young.[(((triple12 triple10) -> rule3) OR ((((triple10) -> rule1) triple10) -> rule3))] @2: Bob is young.[(((((triple4) -> rule1) triple4) -> rule3) OR ((((triple4 ((triple5) -> rule2)) -> rule5) triple4) -> rule3))] @3: Bob is red.[(((((((triple4) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple4 ((triple5) -> rule2)) -> rule5) triple4) -> rule3)) -> rule6))]