Dave is cold. Dave is nice. Dave is red. Gary is big. Gary is smart. Harry is big. Harry is nice. If someone is rough then they are smart. If someone is rough and red then they are cold. If Harry is red then Harry is big. If someone is smart then they are quiet. Red, cold people are rough. Red people are nice. All big people are rough. All nice people are big.
Dave is not cold.
@0: Dave is cold.[(triple1 OR ((((((triple2) -> rule8)) -> rule7) triple3) -> rule2) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule7) triple3) -> rule2))] Dave is nice.[(triple2 OR ((triple3) -> rule6))] Dave is red.[(triple3)] Gary is big.[(triple4)] Gary is smart.[(triple5 OR ((((triple4) -> rule7)) -> rule1))] Harry is big.[(triple6 OR ((triple7) -> rule8))] Harry is nice.[(triple7)] @1: Dave is big.[(((triple2) -> rule8) OR ((((triple3) -> rule6)) -> rule8))] Dave is rough.[(((triple3 triple1) -> rule5) OR ((((triple2) -> rule8)) -> rule7) OR ((((((triple3) -> rule6)) -> rule8)) -> rule7))] Gary is quiet.[(((triple5) -> rule4) OR ((((((triple4) -> rule7)) -> rule1)) -> rule4))] Gary is rough.[(((triple4) -> rule7))] Harry is rough.[(((triple6) -> rule7) OR ((((triple7) -> rule8)) -> rule7))] @2: Dave is smart.[(((((triple3 triple1) -> rule5)) -> rule1) OR ((((((triple2) -> rule8)) -> rule7)) -> rule1) OR ((((((((triple3) -> rule6)) -> rule8)) -> rule7)) -> rule1))] Harry is smart.[(((((triple6) -> rule7)) -> rule1) OR ((((((triple7) -> rule8)) -> rule7)) -> rule1))] @3: Dave is quiet.[(((((((triple3 triple1) -> rule5)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule8)) -> rule7)) -> rule1)) -> rule4) OR ((((((((((triple3) -> rule6)) -> rule8)) -> rule7)) -> rule1)) -> rule4))] Harry is quiet.[(((((((triple6) -> rule7)) -> rule1)) -> rule4) OR ((((((((triple7) -> rule8)) -> rule7)) -> rule1)) -> rule4))]