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