Gary is big. Gary is blue. Gary is furry. Gary is kind. Gary is red. Gary is smart. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is kind. Harry is not red. Harry is smart. Harry is young. All blue people are big. If someone is young and not furry then they are big. If someone is kind then they are young. If someone is furry and not blue then they are young. If someone is red and not blue then they are smart. If someone is red and not big then they are smart. If someone is furry and not big then they are smart. All young, kind people are smart.
Gary is red.
@0: Gary is big.[(triple1 OR ((triple2) -> rule1))] Gary is blue.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4)] Gary is red.[(triple5)] Gary is smart.[(triple6 OR ((triple7 triple4) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8))] Gary is young.[(triple7 OR ((triple4) -> rule3))] Harry is big.[(triple8 OR ((triple9) -> rule1))] Harry is blue.[(triple9)] Harry is furry.[(triple10)] Harry is kind.[(triple11)] Harry is not red.[(triple12)] Harry is smart.[(triple13 OR ((triple14 triple11) -> rule8) OR ((((triple11) -> rule3) triple11) -> rule8))] Harry is young.[(triple14 OR ((triple11) -> rule3))]