Charlie is big. Charlie is blue. Charlie is kind. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. Erin is big. Erin is blue. Erin is kind. Erin is nice. Erin is red. Erin is round. Erin is white. Gary is kind. Gary is white. All round, kind things are big. If something is white and blue then it is round. All nice, red things are big. Big, red things are round. If Charlie is nice then Charlie is big. If something is red then it is big. All kind, blue things are round. If Gary is white then Gary is red.
Gary is big.
@0: Charlie is big.[(triple1 OR ((triple4) -> rule5) OR ((triple5) -> rule6) OR ((triple4 triple5) -> rule3) OR ((triple6 triple3) -> rule1) OR ((((triple3 triple2) -> rule7) triple3) -> rule1) OR ((((triple7 triple2) -> rule2) triple3) -> rule1))] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6 OR ((triple1 triple5) -> rule4) OR ((triple3 triple2) -> rule7) OR ((triple7 triple2) -> rule2) OR ((((triple4) -> rule5) triple5) -> rule4) OR ((((triple5) -> rule6) triple5) -> rule4) OR ((((triple4 triple5) -> rule3) triple5) -> rule4))] Charlie is white.[(triple7)] Erin is big.[(triple8 OR ((triple12) -> rule6) OR ((triple11 triple12) -> rule3) OR ((triple13 triple10) -> rule1) OR ((((triple10 triple9) -> rule7) triple10) -> rule1) OR ((((triple14 triple9) -> rule2) triple10) -> rule1))] Erin is blue.[(triple9)] Erin is kind.[(triple10)] Erin is nice.[(triple11)] Erin is red.[(triple12)] Erin is round.[(triple13 OR ((triple10 triple9) -> rule7) OR ((triple14 triple9) -> rule2) OR ((triple8 triple12) -> rule4) OR ((((triple12) -> rule6) triple12) -> rule4) OR ((((triple11 triple12) -> rule3) triple12) -> rule4))] Erin is white.[(triple14)] Gary is kind.[(triple15)] Gary is white.[(triple16)] @1: Gary is red.[(((triple16) -> rule8))] @2: Gary is big.[(((((triple16) -> rule8)) -> rule6))] @3: Gary is round.[(((((((triple16) -> rule8)) -> rule6) ((triple16) -> rule8)) -> rule4))]