Bob is blue. Bob is kind. Bob is quiet. Bob is red. Bob is rough. Bob is round. Bob is young. Gary is blue. Gary is kind. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. Young things are red. Red, quiet things are kind.
Gary is not young.
@0: Bob is blue.[(triple1)] Bob is kind.[(triple2 OR ((triple4 triple3) -> rule2) OR ((((triple7) -> rule1) triple3) -> rule2))] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple7) -> rule1))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is young.[(triple7)] Gary is blue.[(triple8)] Gary is kind.[(triple9 OR ((triple11 triple10) -> rule2) OR ((((triple14) -> rule1) triple10) -> rule2))] Gary is quiet.[(triple10)] Gary is red.[(triple11 OR ((triple14) -> rule1))] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is young.[(triple14)]