Bob is big. Bob is quiet. Charlie is big. Charlie is blue. Charlie is kind. Charlie is quiet. Erin is blue. Erin is nice. Erin is quiet. Harry is big. Harry is blue. Harry is kind. Harry is nice. Harry is quiet. Harry is round. Harry is smart. If something is quiet and round then it is smart. If something is blue and smart then it is round. If something is blue and quiet then it is big. If something is round and nice then it is kind. All smart things are nice. All smart things are quiet. If something is big then it is smart. If something is big then it is blue.
Erin is not big.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2 OR ((((triple1) -> rule7)) -> rule6))] Charlie is big.[(triple3 OR ((triple4 triple6) -> rule3))] Charlie is blue.[(triple4 OR ((triple3) -> rule8))] Charlie is kind.[(triple5 OR ((((triple4 ((triple3) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((triple3) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5)) -> rule4))] Charlie is quiet.[(triple6 OR ((((triple3) -> rule7)) -> rule6))] Erin is blue.[(triple7)] Erin is nice.[(triple8 OR ((((((triple7 triple9) -> rule3)) -> rule7)) -> rule5))] Erin is quiet.[(triple9)] Harry is big.[(triple10 OR ((triple11 triple14) -> rule3) OR ((triple11 ((triple16) -> rule6)) -> rule3))] Harry is blue.[(triple11 OR ((triple10) -> rule8))] Harry is kind.[(triple12 OR ((triple15 triple13) -> rule4) OR ((triple15 ((triple16) -> rule5)) -> rule4) OR ((((triple11 triple16) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((triple15 ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((triple15 ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) triple13) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 triple16) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((triple15 ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 triple16) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) triple13) -> rule4) OR ((((triple11 ((triple10) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) triple16) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule5)) -> rule4) OR ((((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple10) -> rule7)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((triple14 triple15) -> rule1)) -> rule5)) -> rule4) OR ((((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5)) -> rule4))] Harry is nice.[(triple13 OR ((triple16) -> rule5) OR ((((triple10) -> rule7)) -> rule5) OR ((((triple14 triple15) -> rule1)) -> rule5) OR ((((((triple11 triple14) -> rule3)) -> rule7)) -> rule5))] Harry is quiet.[(triple14 OR ((triple16) -> rule6) OR ((((triple10) -> rule7)) -> rule6))] Harry is round.[(triple15 OR ((triple11 triple16) -> rule2) OR ((triple11 ((triple10) -> rule7)) -> rule2) OR ((((triple10) -> rule8) triple16) -> rule2) OR ((((triple10) -> rule8) ((triple10) -> rule7)) -> rule2) OR ((triple11 ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2) OR ((((triple10) -> rule8) ((((triple11 triple14) -> rule3)) -> rule7)) -> rule2))] Harry is smart.[(triple16 OR ((triple10) -> rule7) OR ((triple14 triple15) -> rule1) OR ((((triple11 triple14) -> rule3)) -> rule7))] @1: Bob is blue.[(((triple1) -> rule8))] Bob is smart.[(((triple1) -> rule7))] Charlie is smart.[(((triple3) -> rule7) OR ((((triple4 triple6) -> rule3)) -> rule7))] Erin is big.[(((triple7 triple9) -> rule3))] @2: Bob is nice.[(((((triple1) -> rule7)) -> rule5))] Bob is round.[(((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2))] Charlie is nice.[(((((triple3) -> rule7)) -> rule5) OR ((((((triple4 triple6) -> rule3)) -> rule7)) -> rule5))] Charlie is round.[(((triple4 ((triple3) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((triple3) -> rule7)) -> rule2) OR ((triple4 ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple4 triple6) -> rule3)) -> rule7)) -> rule2))] Erin is smart.[(((((triple7 triple9) -> rule3)) -> rule7))] @3: Bob is kind.[(((((((triple1) -> rule8) ((triple1) -> rule7)) -> rule2) ((((triple1) -> rule7)) -> rule5)) -> rule4))] Erin is round.[(((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2))] @4: Erin is kind.[(((((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2) triple8) -> rule4) OR ((((triple7 ((((triple7 triple9) -> rule3)) -> rule7)) -> rule2) ((((((triple7 triple9) -> rule3)) -> rule7)) -> rule5)) -> rule4))]