Bob is big. Bob is smart. Bob is young. Dave is big. Dave is cold. Dave is nice. Dave is smart. Dave is young. Gary is big. Gary is cold. Gary is kind. Gary is smart. Gary is young. Harry is big. Harry is cold. If something is nice then it is cold. All big things are nice.
Gary is not nice.
@0: Bob is big.[(triple1)] Bob is smart.[(triple2)] Bob is young.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5 OR ((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Dave is nice.[(triple6 OR ((triple4) -> rule2))] Dave is smart.[(triple7)] Dave is young.[(triple8)] Gary is big.[(triple9)] Gary is cold.[(triple10 OR ((((triple9) -> rule2)) -> rule1))] Gary is kind.[(triple11)] Gary is smart.[(triple12)] Gary is young.[(triple13)] Harry is big.[(triple14)] Harry is cold.[(triple15 OR ((((triple14) -> rule2)) -> rule1))] @1: Bob is nice.[(((triple1) -> rule2))] Gary is nice.[(((triple9) -> rule2))] Harry is nice.[(((triple14) -> rule2))] @2: Bob is cold.[(((((triple1) -> rule2)) -> rule1))]