Dave is big. Dave is green. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is green. Erin is rough. Erin is smart. Erin is young. Harry is big. Harry is green. Harry is nice. Harry is rough. Smart people are young. If Erin is red then Erin is big. If Harry is red then Harry is smart. If Harry is green then Harry is red. Red people are green. Young people are big.
Dave is not nice.
@0: Dave is big.[(triple1 OR ((triple6) -> rule6) OR ((((triple5) -> rule1)) -> rule6))] Dave is green.[(triple2 OR ((triple3) -> rule5))] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is smart.[(triple5)] Dave is young.[(triple6 OR ((triple5) -> rule1))] Erin is big.[(triple7 OR ((triple11) -> rule6) OR ((((triple10) -> rule1)) -> rule6))] Erin is green.[(triple8)] Erin is rough.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple10) -> rule1))] Harry is big.[(triple12 OR ((((((((triple13) -> rule4)) -> rule3)) -> rule1)) -> rule6))] Harry is green.[(triple13)] Harry is nice.[(triple14)] Harry is rough.[(triple15)] @1: Harry is red.[(((triple13) -> rule4))] @2: Harry is smart.[(((((triple13) -> rule4)) -> rule3))] @3: Harry is young.[(((((((triple13) -> rule4)) -> rule3)) -> rule1))]