Bob is nice. Bob is white. Charlie is green. Charlie is white. Erin is big. Erin is young. Harry is big. Harry is kind. Harry is nice. Harry is red. Harry is white. Harry is young. Red, big things are nice. If Erin is nice then Erin is big. Big, red things are young. Big, red things are white. Nice, big things are red. Nice things are big. Green things are nice. All big, nice things are white.
Erin is not red.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2 OR ((((triple1) -> rule6) triple1) -> rule8) OR ((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule4))] Charlie is green.[(triple3)] Charlie is white.[(triple4 OR ((((((triple3) -> rule7)) -> rule6) ((triple3) -> rule7)) -> rule8) OR ((((((triple3) -> rule7)) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule5)) -> rule4))] Erin is big.[(triple5)] Erin is young.[(triple6)] Harry is big.[(triple7 OR ((triple9) -> rule6))] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple10 triple7) -> rule1))] Harry is red.[(triple10 OR ((triple9 triple7) -> rule5) OR ((triple9 ((triple9) -> rule6)) -> rule5))] Harry is white.[(triple11 OR ((triple7 triple10) -> rule4) OR ((triple7 triple9) -> rule8) OR ((triple7 ((triple10 triple7) -> rule1)) -> rule8) OR ((triple7 ((triple9 triple7) -> rule5)) -> rule4) OR ((((triple9) -> rule6) triple10) -> rule4) OR ((((triple9) -> rule6) triple9) -> rule8) OR ((((triple9) -> rule6) ((triple10 triple7) -> rule1)) -> rule8) OR ((((triple9) -> rule6) ((triple9 triple7) -> rule5)) -> rule4) OR ((triple7 ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule4) OR ((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule4))] Harry is young.[(triple12 OR ((triple7 triple10) -> rule3) OR ((triple7 ((triple9 triple7) -> rule5)) -> rule3) OR ((((triple9) -> rule6) triple10) -> rule3) OR ((((triple9) -> rule6) ((triple9 triple7) -> rule5)) -> rule3) OR ((triple7 ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule3) OR ((((triple9) -> rule6) ((triple9 ((triple9) -> rule6)) -> rule5)) -> rule3))] @1: Bob is big.[(((triple1) -> rule6))] Charlie is nice.[(((triple3) -> rule7))] @2: Bob is red.[(((triple1 ((triple1) -> rule6)) -> rule5))] Charlie is big.[(((((triple3) -> rule7)) -> rule6))] @3: Bob is young.[(((((triple1) -> rule6) ((triple1 ((triple1) -> rule6)) -> rule5)) -> rule3))] Charlie is red.[(((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule5))] @4: Charlie is young.[(((((((triple3) -> rule7)) -> rule6) ((((triple3) -> rule7) ((((triple3) -> rule7)) -> rule6)) -> rule5)) -> rule3))]