Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is rough. Erin is smart. Erin is white. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Fiona is rough. Fiona is white. Harry is kind. Harry is smart. Harry is white. All kind things are red. Kind, rough things are furry. If something is nice then it is white. If something is white then it is nice. If Harry is white and Harry is smart then Harry is kind. If something is kind and furry then it is rough. If Erin is smart then Erin is red. All red things are furry.
Harry is furry.
@0: Erin is furry.[(triple1 OR ((triple4) -> rule8) OR ((triple2 triple5) -> rule2) OR ((((triple2) -> rule1)) -> rule8) OR ((((triple6) -> rule7)) -> rule8))] Erin is kind.[(triple2)] Erin is nice.[(triple3 OR ((triple7) -> rule4))] Erin is red.[(triple4 OR ((triple2) -> rule1) OR ((triple6) -> rule7))] Erin is rough.[(triple5 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple4) -> rule8)) -> rule6) OR ((triple2 ((((triple2) -> rule1)) -> rule8)) -> rule6) OR ((triple2 ((((triple6) -> rule7)) -> rule8)) -> rule6))] Erin is smart.[(triple6)] Erin is white.[(triple7 OR ((triple3) -> rule3))] Fiona is furry.[(triple8 OR ((triple11) -> rule8) OR ((triple9 triple12) -> rule2) OR ((((triple9) -> rule1)) -> rule8))] Fiona is kind.[(triple9)] Fiona is nice.[(triple10 OR ((triple13) -> rule4))] Fiona is red.[(triple11 OR ((triple9) -> rule1))] Fiona is rough.[(triple12 OR ((triple9 triple8) -> rule6) OR ((triple9 ((triple11) -> rule8)) -> rule6) OR ((triple9 ((((triple9) -> rule1)) -> rule8)) -> rule6))] Fiona is white.[(triple13 OR ((triple10) -> rule3))] Harry is kind.[(triple14 OR ((triple16 triple15) -> rule5))] Harry is smart.[(triple15)] Harry is white.[(triple16)] @1: Harry is nice.[(((triple16) -> rule4))] Harry is red.[(((triple14) -> rule1) OR ((((triple16 triple15) -> rule5)) -> rule1))] @2: Harry is furry.[(((((triple14) -> rule1)) -> rule8) OR ((((((triple16 triple15) -> rule5)) -> rule1)) -> rule8))] @3: Harry is rough.[(((triple14 ((((triple14) -> rule1)) -> rule8)) -> rule6) OR ((((triple16 triple15) -> rule5) ((((triple14) -> rule1)) -> rule8)) -> rule6) OR ((triple14 ((((((triple16 triple15) -> rule5)) -> rule1)) -> rule8)) -> rule6) OR ((((triple16 triple15) -> rule5) ((((((triple16 triple15) -> rule5)) -> rule1)) -> rule8)) -> rule6))]