Dave is red. Gary is cold. All red things are big. If something is kind then it is not nice. If something is red then it is not nice. If Dave is not rough then Dave is kind. If Dave is rough then Dave is kind. If something is big and kind then it is cold. If something is kind and red then it is not blue. If something is big then it is kind.
Dave is kind.
@0: Dave is red.[(triple1)] Gary is cold.[(triple2)] @1: Dave is big.[(((triple1) -> rule1))] Dave is not nice.[(((triple1) -> rule3) OR ((((((triple1) -> rule1)) -> rule8)) -> rule2))] @2: Dave is kind.[(((((triple1) -> rule1)) -> rule8))] @3: Dave is cold.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule8)) -> rule6))] Dave is not blue.[(((((((triple1) -> rule1)) -> rule8) triple1) -> rule7))]