Anne is furry. Anne is nice. Anne is rough. Anne is round. Anne is white. Bob is furry. Gary is rough. Gary is round. Gary is white. Harry is furry. Harry is green. Harry is nice. Harry is rough. Harry is white. Harry is young. All young people are furry. Green people are white. All furry, nice people are white. All rough people are furry. If Bob is rough and Bob is nice then Bob is white. If someone is furry then they are nice.
Gary is rough.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule4))] Anne is nice.[(triple2 OR ((triple1) -> rule6) OR ((((triple3) -> rule4)) -> rule6))] Anne is rough.[(triple3)] Anne is round.[(triple4)] Anne is white.[(triple5 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3) OR ((((triple3) -> rule4) triple2) -> rule3) OR ((((triple3) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((triple1 ((((triple3) -> rule4)) -> rule6)) -> rule3) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule6)) -> rule3))] Bob is furry.[(triple6)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is white.[(triple9 OR ((((triple7) -> rule4) ((((triple7) -> rule4)) -> rule6)) -> rule3))] Harry is furry.[(triple10 OR ((triple13) -> rule4) OR ((triple15) -> rule1))] Harry is green.[(triple11)] Harry is nice.[(triple12 OR ((triple10) -> rule6) OR ((((triple13) -> rule4)) -> rule6) OR ((((triple15) -> rule1)) -> rule6))] Harry is rough.[(triple13)] Harry is white.[(triple14 OR ((triple11) -> rule2) OR ((triple10 triple12) -> rule3) OR ((triple10 ((triple10) -> rule6)) -> rule3) OR ((((triple13) -> rule4) triple12) -> rule3) OR ((((triple15) -> rule1) triple12) -> rule3) OR ((((triple13) -> rule4) ((triple10) -> rule6)) -> rule3) OR ((((triple15) -> rule1) ((triple10) -> rule6)) -> rule3) OR ((triple10 ((((triple13) -> rule4)) -> rule6)) -> rule3) OR ((triple10 ((((triple15) -> rule1)) -> rule6)) -> rule3) OR ((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule6)) -> rule3) OR ((((triple13) -> rule4) ((((triple15) -> rule1)) -> rule6)) -> rule3) OR ((((triple15) -> rule1) ((((triple13) -> rule4)) -> rule6)) -> rule3) OR ((((triple15) -> rule1) ((((triple15) -> rule1)) -> rule6)) -> rule3))] Harry is young.[(triple15)] @1: Bob is nice.[(((triple6) -> rule6))] Gary is furry.[(((triple7) -> rule4))] @2: Bob is white.[(((triple6 ((triple6) -> rule6)) -> rule3))] Gary is nice.[(((((triple7) -> rule4)) -> rule6))]