Charlie is smart. Dave is cold. Erin is cold. Erin is kind. Erin is rough. Harry is big. Harry is kind. Harry is nice. Harry is rough. Harry is young. Cold, big people are nice. Nice, young people are kind. All rough, big people are smart. Rough, nice people are young. All rough people are big. Cold people are rough. Big people are smart. All young people are kind.
Harry is not smart.
@0: Charlie is smart.[(triple1)] Dave is cold.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((((triple5 ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple3) -> rule6) ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule8) OR ((((triple3 ((triple5) -> rule5)) -> rule1) ((triple5 ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule1) ((((triple3) -> rule6) ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1) ((triple5 ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6) ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple5 ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule8) OR ((((((triple3) -> rule6) ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule8) OR ((((triple3 ((triple5) -> rule5)) -> rule1) ((triple5 ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((triple5) -> rule5)) -> rule1) ((((triple3) -> rule6) ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1) ((triple5 ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule2) OR ((((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1) ((((triple3) -> rule6) ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule2))] Erin is rough.[(triple5 OR ((triple3) -> rule6))] Harry is big.[(triple6 OR ((triple9) -> rule5))] Harry is kind.[(triple7 OR ((triple10) -> rule8) OR ((triple8 triple10) -> rule2) OR ((((triple9 triple8) -> rule4)) -> rule8) OR ((triple8 ((triple9 triple8) -> rule4)) -> rule2))] Harry is nice.[(triple8)] Harry is rough.[(triple9)] Harry is young.[(triple10 OR ((triple9 triple8) -> rule4))] @1: Dave is rough.[(((triple2) -> rule6))] Erin is big.[(((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule5))] Harry is smart.[(((triple6) -> rule7) OR ((triple9 triple6) -> rule3) OR ((((triple9) -> rule5)) -> rule7) OR ((triple9 ((triple9) -> rule5)) -> rule3))] @2: Dave is big.[(((((triple2) -> rule6)) -> rule5))] Erin is nice.[(((triple3 ((triple5) -> rule5)) -> rule1) OR ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1))] Erin is smart.[(((((triple5) -> rule5)) -> rule7) OR ((triple5 ((triple5) -> rule5)) -> rule3) OR ((((triple3) -> rule6) ((triple5) -> rule5)) -> rule3) OR ((((((triple3) -> rule6)) -> rule5)) -> rule7) OR ((triple5 ((((triple3) -> rule6)) -> rule5)) -> rule3) OR ((((triple3) -> rule6) ((((triple3) -> rule6)) -> rule5)) -> rule3))] @3: Dave is nice.[(((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule1))] Dave is smart.[(((((((triple2) -> rule6)) -> rule5)) -> rule7) OR ((((triple2) -> rule6) ((((triple2) -> rule6)) -> rule5)) -> rule3))] Erin is young.[(((triple5 ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4) OR ((((triple3) -> rule6) ((triple3 ((triple5) -> rule5)) -> rule1)) -> rule4) OR ((triple5 ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4) OR ((((triple3) -> rule6) ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule1)) -> rule4))] @4: Dave is young.[(((((triple2) -> rule6) ((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4))] @5: Dave is kind.[(((((((triple2) -> rule6) ((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule8) OR ((((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule1) ((((triple2) -> rule6) ((triple2 ((((triple2) -> rule6)) -> rule5)) -> rule1)) -> rule4)) -> rule2))]