Gary is furry. Gary is quiet. Gary is red. Gary is white. Harry is big. Harry is quiet. Harry is red. All furry, quiet people are young. All quiet people are big. If someone is red then they are big. If someone is furry and quiet then they are nice. If Harry is quiet then Harry is red. Furry, young people are white. Quiet people are furry. All quiet, furry people are young.
Harry is not nice.
@0: Gary is furry.[(triple1 OR ((triple2) -> rule7))] Gary is quiet.[(triple2)] Gary is red.[(triple3)] Gary is white.[(triple4 OR ((triple1 ((triple1 triple2) -> rule1)) -> rule6) OR ((triple1 ((triple2 triple1) -> rule8)) -> rule6) OR ((((triple2) -> rule7) ((triple1 triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule7) ((triple2 triple1) -> rule8)) -> rule6) OR ((triple1 ((triple2 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple1 ((((triple2) -> rule7) triple2) -> rule1)) -> rule6) OR ((((triple2) -> rule7) ((triple2 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple2) -> rule7) ((((triple2) -> rule7) triple2) -> rule1)) -> rule6))] Harry is big.[(triple5 OR ((triple6) -> rule2) OR ((triple7) -> rule3) OR ((((triple6) -> rule5)) -> rule3))] Harry is quiet.[(triple6)] Harry is red.[(triple7 OR ((triple6) -> rule5))] @1: Gary is big.[(((triple2) -> rule2) OR ((triple3) -> rule3))] Gary is nice.[(((triple1 triple2) -> rule4) OR ((((triple2) -> rule7) triple2) -> rule4))] Gary is young.[(((triple1 triple2) -> rule1) OR ((triple2 triple1) -> rule8) OR ((triple2 ((triple2) -> rule7)) -> rule8) OR ((((triple2) -> rule7) triple2) -> rule1))] Harry is furry.[(((triple6) -> rule7))] @2: Harry is nice.[(((((triple6) -> rule7) triple6) -> rule4))] Harry is young.[(((triple6 ((triple6) -> rule7)) -> rule8) OR ((((triple6) -> rule7) triple6) -> rule1))] @3: Harry is white.[(((((triple6) -> rule7) ((triple6 ((triple6) -> rule7)) -> rule8)) -> rule6) OR ((((triple6) -> rule7) ((((triple6) -> rule7) triple6) -> rule1)) -> rule6))]