Anne is quiet. Erin is green. Erin is kind. Erin is quiet. Erin is rough. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is red. Harry is nice. If someone is rough then they are green. If someone is nice then they are green. If someone is quiet and not nice then they are cold. All quiet people are rough. Kind people are quiet. If someone is green then they are kind. If someone is rough then they are red.
Fiona is rough.
@0: Anne is quiet.[(triple1)] Erin is green.[(triple2 OR ((triple5) -> rule1) OR ((((triple4) -> rule4)) -> rule1) OR ((((((triple3) -> rule5)) -> rule4)) -> rule1))] Erin is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple5) -> rule1)) -> rule6) OR ((((((triple4) -> rule4)) -> rule1)) -> rule6))] Erin is quiet.[(triple4 OR ((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule5) OR ((((((triple5) -> rule1)) -> rule6)) -> rule5))] Erin is rough.[(triple5 OR ((triple4) -> rule4) OR ((((triple3) -> rule5)) -> rule4) OR ((((((triple2) -> rule6)) -> rule5)) -> rule4))] Fiona is kind.[(triple6 OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple8) -> rule4)) -> rule1)) -> rule6))] Fiona is nice.[(triple7)] Fiona is quiet.[(triple8 OR ((triple6) -> rule5) OR ((((((triple7) -> rule2)) -> rule6)) -> rule5))] Fiona is red.[(triple9 OR ((((triple8) -> rule4)) -> rule7) OR ((((((triple6) -> rule5)) -> rule4)) -> rule7) OR ((((((((((triple7) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule7))] Harry is nice.[(triple10)] @1: Anne is rough.[(((triple1) -> rule4))] Erin is red.[(((triple5) -> rule7) OR ((((triple4) -> rule4)) -> rule7) OR ((((((triple3) -> rule5)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule6)) -> rule5)) -> rule4)) -> rule7))] Fiona is green.[(((triple7) -> rule2) OR ((((triple8) -> rule4)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4)) -> rule1))] Fiona is rough.[(((triple8) -> rule4) OR ((((triple6) -> rule5)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule5)) -> rule4))] Harry is green.[(((triple10) -> rule2))] @2: Anne is green.[(((((triple1) -> rule4)) -> rule1))] Anne is red.[(((((triple1) -> rule4)) -> rule7))] Harry is kind.[(((((triple10) -> rule2)) -> rule6))] @3: Anne is kind.[(((((((triple1) -> rule4)) -> rule1)) -> rule6))] Harry is quiet.[(((((((triple10) -> rule2)) -> rule6)) -> rule5))] @4: Harry is rough.[(((((((((triple10) -> rule2)) -> rule6)) -> rule5)) -> rule4))] @5: Harry is red.[(((((((((((triple10) -> rule2)) -> rule6)) -> rule5)) -> rule4)) -> rule7))]