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