Anne is blue. Anne is furry. Anne is green. Anne is nice. Anne is round. Anne is smart. Charlie is blue. Charlie is furry. Charlie is nice. Charlie is red. Charlie is round. Charlie is smart. Gary is green. Gary is round. Gary is smart. Smart, red people are furry. Nice, red people are blue. If Anne is green then Anne is furry. Green, nice people are smart. If Gary is red and Gary is smart then Gary is furry. If someone is furry then they are blue. Green people are red. If someone is round and furry then they are blue.
Gary is furry.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple5 triple2) -> rule8) OR ((((triple3) -> rule3)) -> rule6) OR ((triple4 ((triple3) -> rule7)) -> rule2) OR ((triple5 ((triple3) -> rule3)) -> rule8) OR ((((triple6 ((triple3) -> rule7)) -> rule1)) -> rule6) OR ((triple5 ((triple6 ((triple3) -> rule7)) -> rule1)) -> rule8) OR ((((((triple3 triple4) -> rule4) ((triple3) -> rule7)) -> rule1)) -> rule6) OR ((triple5 ((((triple3 triple4) -> rule4) ((triple3) -> rule7)) -> rule1)) -> rule8))] Anne is furry.[(triple2 OR ((triple3) -> rule3) OR ((triple6 ((triple3) -> rule7)) -> rule1) OR ((((triple3 triple4) -> rule4) ((triple3) -> rule7)) -> rule1))] Anne is green.[(triple3)] Anne is nice.[(triple4)] Anne is round.[(triple5)] Anne is smart.[(triple6 OR ((triple3 triple4) -> rule4))] Charlie is blue.[(triple7 OR ((triple8) -> rule6) OR ((triple11 triple8) -> rule8) OR ((triple9 triple10) -> rule2) OR ((((triple12 triple10) -> rule1)) -> rule6) OR ((triple11 ((triple12 triple10) -> rule1)) -> rule8))] Charlie is furry.[(triple8 OR ((triple12 triple10) -> rule1))] Charlie is nice.[(triple9)] Charlie is red.[(triple10)] Charlie is round.[(triple11)] Charlie is smart.[(triple12)] Gary is green.[(triple13)] Gary is round.[(triple14)] Gary is smart.[(triple15)] @1: Anne is red.[(((triple3) -> rule7))] Gary is red.[(((triple13) -> rule7))] @2: Gary is furry.[(((triple15 ((triple13) -> rule7)) -> rule1) OR ((((triple13) -> rule7) triple15) -> rule5))] @3: Gary is blue.[(((((triple15 ((triple13) -> rule7)) -> rule1)) -> rule6) OR ((((((triple13) -> rule7) triple15) -> rule5)) -> rule6) OR ((triple14 ((triple15 ((triple13) -> rule7)) -> rule1)) -> rule8) OR ((triple14 ((((triple13) -> rule7) triple15) -> rule5)) -> rule8))]