Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is not red. Gary is round. Gary is smart. Red people are nice. All big people are nice. All nice people are quiet. If Gary is not smart then Gary is big. If Gary is round and Gary is smart then Gary is big. If Gary is red then Gary is nice. If Gary is round and Gary is red then Gary is blue. If someone is blue and not red then they are round.
Gary is quiet.
@0: Gary is big.[(triple1 OR ((triple6 triple7) -> rule5) OR ((((triple2 triple5) -> rule8) triple7) -> rule5))] Gary is blue.[(triple2)] Gary is nice.[(triple3 OR ((triple1) -> rule2) OR ((((triple6 triple7) -> rule5)) -> rule2) OR ((((((triple2 triple5) -> rule8) triple7) -> rule5)) -> rule2))] Gary is not red.[(triple5)] Gary is quiet.[(triple4 OR ((triple3) -> rule3) OR ((((triple1) -> rule2)) -> rule3) OR ((((((triple6 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple2 triple5) -> rule8) triple7) -> rule5)) -> rule2)) -> rule3))] Gary is round.[(triple6 OR ((triple2 triple5) -> rule8))] Gary is smart.[(triple7)]