Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is round. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is round. Gary is smart. Gary is white. If Erin is big and Erin is blue then Erin is smart. Blue, round things are quiet. All white things are big. All nice, white things are round. If Gary is blue and Gary is round then Gary is smart. All nice, white things are blue.
Gary is round.
@0: Erin is big.[(triple1 OR ((triple7) -> rule3))] Erin is blue.[(triple2 OR ((triple3 triple7) -> rule6))] Erin is nice.[(triple3)] Erin is quiet.[(triple4 OR ((triple2 triple5) -> rule2) OR ((triple2 ((triple3 triple7) -> rule4)) -> rule2) OR ((((triple3 triple7) -> rule6) triple5) -> rule2) OR ((((triple3 triple7) -> rule6) ((triple3 triple7) -> rule4)) -> rule2))] Erin is round.[(triple5 OR ((triple3 triple7) -> rule4))] Erin is smart.[(triple6 OR ((triple1 triple2) -> rule1) OR ((triple1 ((triple3 triple7) -> rule6)) -> rule1) OR ((((triple7) -> rule3) triple2) -> rule1) OR ((((triple7) -> rule3) ((triple3 triple7) -> rule6)) -> rule1))] Erin is white.[(triple7)] Gary is big.[(triple8 OR ((triple14) -> rule3))] Gary is blue.[(triple9 OR ((triple10 triple14) -> rule6))] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple9 triple12) -> rule2) OR ((triple9 ((triple10 triple14) -> rule4)) -> rule2) OR ((((triple10 triple14) -> rule6) triple12) -> rule2) OR ((((triple10 triple14) -> rule6) ((triple10 triple14) -> rule4)) -> rule2))] Gary is round.[(triple12 OR ((triple10 triple14) -> rule4))] Gary is smart.[(triple13 OR ((triple9 triple12) -> rule5) OR ((triple9 ((triple10 triple14) -> rule4)) -> rule5) OR ((((triple10 triple14) -> rule6) triple12) -> rule5) OR ((((triple10 triple14) -> rule6) ((triple10 triple14) -> rule4)) -> rule5))] Gary is white.[(triple14)]