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