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