Erin is big. Erin is blue. Erin is kind. Erin is red. Erin is round. Erin is white. Erin is young. Gary is big. Gary is round. Gary is white. Harry is big. Harry is blue. Harry is kind. Harry is red. Harry is white. Harry is young. If Gary is kind and Gary is young then Gary is round. If someone is round and white then they are kind. If Erin is kind and Erin is round then Erin is young. If someone is big and blue then they are round. All blue people are young. If Harry is red and Harry is blue then Harry is white. If Gary is red then Gary is blue. All big, kind people are young.
Harry is white.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is kind.[(triple3 OR ((triple5 triple6) -> rule2) OR ((((triple1 triple2) -> rule4) triple6) -> rule2))] Erin is red.[(triple4)] Erin is round.[(triple5 OR ((triple1 triple2) -> rule4))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple2) -> rule5) OR ((triple1 triple3) -> rule8) OR ((triple3 triple5) -> rule3) OR ((triple1 ((triple5 triple6) -> rule2)) -> rule8) OR ((triple3 ((triple1 triple2) -> rule4)) -> rule3) OR ((((triple5 triple6) -> rule2) triple5) -> rule3) OR ((((triple5 triple6) -> rule2) ((triple1 triple2) -> rule4)) -> rule3) OR ((triple1 ((((triple1 triple2) -> rule4) triple6) -> rule2)) -> rule8) OR ((((((triple1 triple2) -> rule4) triple6) -> rule2) triple5) -> rule3) OR ((((((triple1 triple2) -> rule4) triple6) -> rule2) ((triple1 triple2) -> rule4)) -> rule3))] Gary is big.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12)] Harry is kind.[(triple13 OR ((((triple11 triple12) -> rule4) triple15) -> rule2) OR ((((triple11 triple12) -> rule4) ((triple14 triple12) -> rule6)) -> rule2))] Harry is red.[(triple14)] Harry is white.[(triple15 OR ((triple14 triple12) -> rule6))] Harry is young.[(triple16 OR ((triple12) -> rule5) OR ((triple11 triple13) -> rule8) OR ((triple11 ((((triple11 triple12) -> rule4) triple15) -> rule2)) -> rule8) OR ((triple11 ((((triple11 triple12) -> rule4) ((triple14 triple12) -> rule6)) -> rule2)) -> rule8))] @1: Gary is kind.[(((triple9 triple10) -> rule2))] Harry is round.[(((triple11 triple12) -> rule4))] @2: Gary is young.[(((triple8 ((triple9 triple10) -> rule2)) -> rule8))]