Gary is blue. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is round. Gary is young. All blue things are nice. If Gary is round then Gary is blue. If Gary is nice and Gary is round then Gary is quiet. If Gary is rough then Gary is quiet. All rough things are young. Nice, green things are quiet. All rough things are nice. If Gary is round then Gary is nice.
Gary is not rough.
@0: Gary is blue.[(triple1 OR ((triple6) -> rule2))] Gary is green.[(triple2)] Gary is nice.[(triple3 OR ((triple1) -> rule1) OR ((triple5) -> rule7) OR ((triple6) -> rule8) OR ((((triple6) -> rule2)) -> rule1))] Gary is quiet.[(triple4 OR ((triple5) -> rule4) OR ((triple3 triple2) -> rule6) OR ((triple3 triple6) -> rule3) OR ((((triple1) -> rule1) triple2) -> rule6) OR ((((triple1) -> rule1) triple6) -> rule3) OR ((((triple5) -> rule7) triple2) -> rule6) OR ((((triple5) -> rule7) triple6) -> rule3) OR ((((triple6) -> rule8) triple2) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule3) OR ((((((triple6) -> rule2)) -> rule1) triple2) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) triple6) -> rule3))] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7 OR ((triple5) -> rule5))]