Bob is big. Bob is blue. Bob is cold. Bob is red. Bob is rough. Bob is round. Bob is white. Charlie is blue. Charlie is rough. Charlie is round. Erin is big. Erin is blue. Erin is cold. Erin is red. Erin is rough. Erin is white. Red people are cold. Big, round people are blue. Cold people are blue. Blue, big people are red. Round people are white. If Erin is red and Erin is round then Erin is white. All blue, round people are white. All white, rough people are big.
Erin is not big.
@0: Bob is big.[(triple1 OR ((triple7 triple5) -> rule8) OR ((((triple6) -> rule5) triple5) -> rule8) OR ((((triple2 triple6) -> rule7) triple5) -> rule8) OR ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8) OR ((((((((triple4) -> rule1)) -> rule3) triple6) -> rule7) triple5) -> rule8))] Bob is blue.[(triple2 OR ((triple3) -> rule3) OR ((triple1 triple6) -> rule2) OR ((((triple4) -> rule1)) -> rule3) OR ((((triple7 triple5) -> rule8) triple6) -> rule2) OR ((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2))] Bob is cold.[(triple3 OR ((triple4) -> rule1) OR ((((triple2 triple1) -> rule4)) -> rule1) OR ((((triple2 ((triple7 triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((triple1 triple6) -> rule2) triple1) -> rule4)) -> rule1) OR ((((((triple1 triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple2 ((((triple6) -> rule5) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((triple2 ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple7 triple5) -> rule8) triple6) -> rule2) triple1) -> rule4)) -> rule1) OR ((((((triple1 triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((triple1 triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple7 triple5) -> rule8) triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple7 triple5) -> rule8) triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((triple7 triple5) -> rule8) triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) triple1) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4)) -> rule1))] Bob is red.[(triple4 OR ((triple2 triple1) -> rule4) OR ((triple2 ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple3) -> rule3) triple1) -> rule4) OR ((((triple1 triple6) -> rule2) triple1) -> rule4) OR ((((triple3) -> rule3) ((triple7 triple5) -> rule8)) -> rule4) OR ((((triple1 triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4) OR ((triple2 ((((triple6) -> rule5) triple5) -> rule8)) -> rule4) OR ((triple2 ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple6) -> rule2) triple1) -> rule4) OR ((((triple3) -> rule3) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4) OR ((((triple3) -> rule3) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((triple1 triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4) OR ((((triple1 triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((triple2 ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) triple1) -> rule4) OR ((((triple3) -> rule3) ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((triple1 triple6) -> rule2) ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((triple7 triple5) -> rule8)) -> rule4) OR ((((((triple7 triple5) -> rule8) triple6) -> rule2) ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((((triple6) -> rule5) triple5) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((((triple2 triple6) -> rule7) triple5) -> rule8)) -> rule4) OR ((((((((triple6) -> rule5) triple5) -> rule8) triple6) -> rule2) ((((((triple3) -> rule3) triple6) -> rule7) triple5) -> rule8)) -> rule4))] Bob is rough.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple6) -> rule5) OR ((triple2 triple6) -> rule7) OR ((((triple3) -> rule3) triple6) -> rule7) OR ((((triple1 triple6) -> rule2) triple6) -> rule7) OR ((((((triple4) -> rule1)) -> rule3) triple6) -> rule7))] Charlie is blue.[(triple8 OR ((((((triple10) -> rule5) triple9) -> rule8) triple10) -> rule2))] Charlie is rough.[(triple9)] Charlie is round.[(triple10)] Erin is big.[(triple11 OR ((triple16 triple15) -> rule8))] Erin is blue.[(triple12 OR ((triple13) -> rule3) OR ((((triple14) -> rule1)) -> rule3))] Erin is cold.[(triple13 OR ((triple14) -> rule1) OR ((((triple12 triple11) -> rule4)) -> rule1) OR ((((triple12 ((triple16 triple15) -> rule8)) -> rule4)) -> rule1))] Erin is red.[(triple14 OR ((triple12 triple11) -> rule4) OR ((triple12 ((triple16 triple15) -> rule8)) -> rule4) OR ((((triple13) -> rule3) triple11) -> rule4) OR ((((triple13) -> rule3) ((triple16 triple15) -> rule8)) -> rule4))] Erin is rough.[(triple15)] Erin is white.[(triple16)] @1: Charlie is white.[(((triple10) -> rule5) OR ((triple8 triple10) -> rule7))] @2: Charlie is big.[(((((triple10) -> rule5) triple9) -> rule8) OR ((((triple8 triple10) -> rule7) triple9) -> rule8))] @3: Charlie is red.[(((triple8 ((((triple10) -> rule5) triple9) -> rule8)) -> rule4) OR ((triple8 ((((triple8 triple10) -> rule7) triple9) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple9) -> rule8) triple10) -> rule2) ((((triple10) -> rule5) triple9) -> rule8)) -> rule4) OR ((((((((triple10) -> rule5) triple9) -> rule8) triple10) -> rule2) ((((triple8 triple10) -> rule7) triple9) -> rule8)) -> rule4))] @4: Charlie is cold.[(((((triple8 ((((triple10) -> rule5) triple9) -> rule8)) -> rule4)) -> rule1) OR ((((triple8 ((((triple8 triple10) -> rule7) triple9) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple10) -> rule5) triple9) -> rule8) triple10) -> rule2) ((((triple10) -> rule5) triple9) -> rule8)) -> rule4)) -> rule1) OR ((((((((((triple10) -> rule5) triple9) -> rule8) triple10) -> rule2) ((((triple8 triple10) -> rule7) triple9) -> rule8)) -> rule4)) -> rule1))]