Fiona is blue. Fiona is furry. Fiona is green. Fiona is nice. Fiona is white. Gary is blue. Gary is furry. Gary is white. Gary is young. Harry is furry. Harry is round. Harry is white. Blue, furry people are white. Furry, young people are white. If Harry is young and Harry is white then Harry is round. If Gary is white and Gary is round then Gary is nice. If someone is nice and white then they are green. If someone is white and furry then they are round.
Gary is green.
@0: Fiona is blue.[(triple1)] Fiona is furry.[(triple2)] Fiona is green.[(triple3 OR ((triple4 triple5) -> rule5) OR ((triple4 ((triple1 triple2) -> rule1)) -> rule5))] Fiona is nice.[(triple4)] Fiona is white.[(triple5 OR ((triple1 triple2) -> rule1))] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is white.[(triple8 OR ((triple6 triple7) -> rule1) OR ((triple7 triple9) -> rule2))] Gary is young.[(triple9)] Harry is furry.[(triple10)] Harry is round.[(triple11 OR ((triple12 triple10) -> rule6))] Harry is white.[(triple12)] @1: Fiona is round.[(((triple5 triple2) -> rule6) OR ((((triple1 triple2) -> rule1) triple2) -> rule6))] Gary is round.[(((triple8 triple7) -> rule6) OR ((((triple6 triple7) -> rule1) triple7) -> rule6) OR ((((triple7 triple9) -> rule2) triple7) -> rule6))] @2: Gary is nice.[(((triple8 ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) OR ((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4))] @3: Gary is green.[(((((triple8 ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((triple8 triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((triple8 ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) triple8) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple6 triple7) -> rule1) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple6 triple7) -> rule1) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple6 triple7) -> rule1)) -> rule5) OR ((((((triple7 triple9) -> rule2) ((((triple7 triple9) -> rule2) triple7) -> rule6)) -> rule4) ((triple7 triple9) -> rule2)) -> rule5))]