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