Dave is furry. Dave is round. Dave is smart. Erin is blue. Erin is nice. Gary is blue. Gary is furry. Gary is smart. Gary is white. Harry is furry. Harry is kind. Harry is nice. Harry is smart. Harry is white. Furry things are smart. All smart, blue things are white. If something is nice and kind then it is blue. All nice, round things are furry. All round things are blue. If something is kind and nice then it is round. If Gary is smart and Gary is white then Gary is furry. Smart, round things are white. All nice things are kind.
Harry is not blue.
@0: Dave is furry.[(triple1)] Dave is round.[(triple2)] Dave is smart.[(triple3 OR ((triple1) -> rule1))] Erin is blue.[(triple4 OR ((triple5 ((triple5) -> rule9)) -> rule3) OR ((((((triple5) -> rule9) triple5) -> rule6)) -> rule5))] Erin is nice.[(triple5)] Gary is blue.[(triple6)] Gary is furry.[(triple7 OR ((triple8 triple9) -> rule7) OR ((triple8 ((triple8 triple6) -> rule2)) -> rule7))] Gary is smart.[(triple8 OR ((triple7) -> rule1))] Gary is white.[(triple9 OR ((triple8 triple6) -> rule2) OR ((((triple7) -> rule1) triple6) -> rule2))] Harry is furry.[(triple10 OR ((triple12 ((triple11 triple12) -> rule6)) -> rule4) OR ((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4))] Harry is kind.[(triple11 OR ((triple12) -> rule9))] Harry is nice.[(triple12)] Harry is smart.[(triple13 OR ((triple10) -> rule1) OR ((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) OR ((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1))] Harry is white.[(triple14 OR ((triple13 ((triple11 triple12) -> rule6)) -> rule8) OR ((triple13 ((triple12 triple11) -> rule3)) -> rule2) OR ((((triple10) -> rule1) ((triple11 triple12) -> rule6)) -> rule8) OR ((((triple10) -> rule1) ((triple12 triple11) -> rule3)) -> rule2) OR ((triple13 ((((triple11 triple12) -> rule6)) -> rule5)) -> rule2) OR ((triple13 ((triple12 ((triple12) -> rule9)) -> rule3)) -> rule2) OR ((triple13 ((((triple12) -> rule9) triple12) -> rule6)) -> rule8) OR ((((triple10) -> rule1) ((((triple11 triple12) -> rule6)) -> rule5)) -> rule2) OR ((((triple10) -> rule1) ((triple12 ((triple12) -> rule9)) -> rule3)) -> rule2) OR ((((triple10) -> rule1) ((((triple12) -> rule9) triple12) -> rule6)) -> rule8) OR ((triple13 ((((((triple12) -> rule9) triple12) -> rule6)) -> rule5)) -> rule2) OR ((((triple10) -> rule1) ((((((triple12) -> rule9) triple12) -> rule6)) -> rule5)) -> rule2) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((triple11 triple12) -> rule6)) -> rule8) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((triple12 triple11) -> rule3)) -> rule2) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((((triple11 triple12) -> rule6)) -> rule5)) -> rule2) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((triple12 ((triple12) -> rule9)) -> rule3)) -> rule2) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((((triple12) -> rule9) triple12) -> rule6)) -> rule8) OR ((((((triple12 ((triple11 triple12) -> rule6)) -> rule4)) -> rule1) ((((((triple12) -> rule9) triple12) -> rule6)) -> rule5)) -> rule2) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((triple11 triple12) -> rule6)) -> rule8) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((triple12 triple11) -> rule3)) -> rule2) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((((triple11 triple12) -> rule6)) -> rule5)) -> rule2) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((triple12 ((triple12) -> rule9)) -> rule3)) -> rule2) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((((triple12) -> rule9) triple12) -> rule6)) -> rule8) OR ((((((triple12 ((((triple12) -> rule9) triple12) -> rule6)) -> rule4)) -> rule1) ((((((triple12) -> rule9) triple12) -> rule6)) -> rule5)) -> rule2))] @1: Dave is blue.[(((triple2) -> rule5))] Dave is white.[(((triple3 triple2) -> rule8) OR ((triple3 ((triple2) -> rule5)) -> rule2) OR ((((triple1) -> rule1) triple2) -> rule8) OR ((((triple1) -> rule1) ((triple2) -> rule5)) -> rule2))] Erin is kind.[(((triple5) -> rule9))] Harry is blue.[(((triple12 triple11) -> rule3) OR ((((triple11 triple12) -> rule6)) -> rule5) OR ((triple12 ((triple12) -> rule9)) -> rule3) OR ((((((triple12) -> rule9) triple12) -> rule6)) -> rule5))] Harry is round.[(((triple11 triple12) -> rule6) OR ((((triple12) -> rule9) triple12) -> rule6))] @2: Erin is round.[(((((triple5) -> rule9) triple5) -> rule6))] @3: Erin is furry.[(((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4))] @4: Erin is smart.[(((((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4)) -> rule1))] @5: Erin is white.[(((((((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4)) -> rule1) triple4) -> rule2) OR ((((((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4)) -> rule1) ((triple5 ((triple5) -> rule9)) -> rule3)) -> rule2) OR ((((((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4)) -> rule1) ((((triple5) -> rule9) triple5) -> rule6)) -> rule8) OR ((((((triple5 ((((triple5) -> rule9) triple5) -> rule6)) -> rule4)) -> rule1) ((((((triple5) -> rule9) triple5) -> rule6)) -> rule5)) -> rule2))]