Charlie is not white. Dave is furry. Dave is white. Dave is young. Fiona is smart. Harry is furry. Harry is smart. If someone is round then they are young. All smart people are round. Furry, green people are white. If someone is nice and white then they are furry. All young people are furry. If someone is furry and young then they are nice. If someone is nice and not young then they are green. Nice people are green.
Harry is nice.
@0: Charlie is not white.[(triple1)] Dave is furry.[(triple2 OR ((triple4) -> rule5))] Dave is white.[(triple3 OR ((triple2 ((((triple2 triple4) -> rule6)) -> rule8)) -> rule3) OR ((((triple4) -> rule5) ((((triple2 triple4) -> rule6)) -> rule8)) -> rule3) OR ((triple2 ((((((triple4) -> rule5) triple4) -> rule6)) -> rule8)) -> rule3) OR ((((triple4) -> rule5) ((((((triple4) -> rule5) triple4) -> rule6)) -> rule8)) -> rule3))] Dave is young.[(triple4)] Fiona is smart.[(triple5)] Harry is furry.[(triple6 OR ((((((triple7) -> rule2)) -> rule1)) -> rule5))] Harry is smart.[(triple7)] @1: Dave is nice.[(((triple2 triple4) -> rule6) OR ((((triple4) -> rule5) triple4) -> rule6))] Fiona is round.[(((triple5) -> rule2))] Harry is round.[(((triple7) -> rule2))] @2: Dave is green.[(((((triple2 triple4) -> rule6)) -> rule8) OR ((((((triple4) -> rule5) triple4) -> rule6)) -> rule8))] Fiona is young.[(((((triple5) -> rule2)) -> rule1))] Harry is young.[(((((triple7) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((((triple5) -> rule2)) -> rule1)) -> rule5))] Harry is nice.[(((triple6 ((((triple7) -> rule2)) -> rule1)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((triple7) -> rule2)) -> rule1)) -> rule6))] @4: Fiona is nice.[(((((((((triple5) -> rule2)) -> rule1)) -> rule5) ((((triple5) -> rule2)) -> rule1)) -> rule6))] Harry is green.[(((((triple6 ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8) OR ((((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8))] @5: Fiona is green.[(((((((((((triple5) -> rule2)) -> rule1)) -> rule5) ((((triple5) -> rule2)) -> rule1)) -> rule6)) -> rule8))] Harry is white.[(((triple6 ((((triple6 ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((triple6 ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((triple6 ((((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8)) -> rule3) OR ((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((((((((triple7) -> rule2)) -> rule1)) -> rule5) ((((triple7) -> rule2)) -> rule1)) -> rule6)) -> rule8)) -> rule3))] @6: Fiona is white.[(((((((((triple5) -> rule2)) -> rule1)) -> rule5) ((((((((((triple5) -> rule2)) -> rule1)) -> rule5) ((((triple5) -> rule2)) -> rule1)) -> rule6)) -> rule8)) -> rule3))]