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