Bob is big. Bob is blue. Bob is furry. Erin is blue. Erin is furry. Erin is kind. Erin is young. Gary is big. Gary is blue. Gary is nice. Gary is smart. Harry is big. Harry is furry. Harry is nice. Harry is smart. Harry is young. Kind things are furry. If something is blue and nice then it is big. Big things are furry. If Harry is young then Harry is kind. All smart things are kind. All furry things are big.
Harry is not blue.
@0: Bob is big.[(triple1 OR ((triple3) -> rule6))] Bob is blue.[(triple2)] Bob is furry.[(triple3 OR ((triple1) -> rule3))] Erin is blue.[(triple4)] Erin is furry.[(triple5 OR ((triple6) -> rule1))] Erin is kind.[(triple6)] Erin is young.[(triple7)] Gary is big.[(triple8 OR ((triple9 triple10) -> rule2) OR ((((((triple11) -> rule5)) -> rule1)) -> rule6))] Gary is blue.[(triple9)] Gary is nice.[(triple10)] Gary is smart.[(triple11)] Harry is big.[(triple12 OR ((triple13) -> rule6) OR ((((((triple15) -> rule5)) -> rule1)) -> rule6) OR ((((((triple16) -> rule4)) -> rule1)) -> rule6))] Harry is furry.[(triple13 OR ((triple12) -> rule3) OR ((((triple15) -> rule5)) -> rule1) OR ((((triple16) -> rule4)) -> rule1))] Harry is nice.[(triple14)] Harry is smart.[(triple15)] Harry is young.[(triple16)] @1: Erin is big.[(((triple5) -> rule6) OR ((((triple6) -> rule1)) -> rule6))] Gary is furry.[(((triple8) -> rule3) OR ((((triple11) -> rule5)) -> rule1) OR ((((triple9 triple10) -> rule2)) -> rule3))] Gary is kind.[(((triple11) -> rule5))] Harry is kind.[(((triple15) -> rule5) OR ((triple16) -> rule4))]