Anne is blue. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is young. Erin is red. Fiona is kind. Fiona is rough. Harry is kind. Harry is red. Harry is young. Quiet, red things are nice. If something is blue then it is young. All young things are kind. If Erin is nice and Erin is quiet then Erin is rough. If something is nice and quiet then it is blue. All red things are quiet.
Erin is young.
@0: Anne is blue.[(triple1 OR ((triple3 triple4) -> rule5))] Anne is kind.[(triple2 OR ((triple6) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((((triple3 triple4) -> rule5)) -> rule2)) -> rule3))] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is rough.[(triple5)] Anne is young.[(triple6 OR ((triple1) -> rule2) OR ((((triple3 triple4) -> rule5)) -> rule2))] Erin is red.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9)] Harry is kind.[(triple10 OR ((triple12) -> rule3) OR ((((((((((triple11) -> rule6) triple11) -> rule1) ((triple11) -> rule6)) -> rule5)) -> rule2)) -> rule3))] Harry is red.[(triple11)] Harry is young.[(triple12 OR ((((((((triple11) -> rule6) triple11) -> rule1) ((triple11) -> rule6)) -> rule5)) -> rule2))] @1: Erin is quiet.[(((triple7) -> rule6))] Harry is quiet.[(((triple11) -> rule6))] @2: Erin is nice.[(((((triple7) -> rule6) triple7) -> rule1))] Harry is nice.[(((((triple11) -> rule6) triple11) -> rule1))] @3: Erin is blue.[(((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule5))] Erin is rough.[(((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule4))] Harry is blue.[(((((((triple11) -> rule6) triple11) -> rule1) ((triple11) -> rule6)) -> rule5))] @4: Erin is young.[(((((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule5)) -> rule2))] @5: Erin is kind.[(((((((((((triple7) -> rule6) triple7) -> rule1) ((triple7) -> rule6)) -> rule5)) -> rule2)) -> rule3))]