Dave is big. Dave is kind. Dave is white. Cold, big people are nice. All cold people are kind. If someone is red and quiet then they are big. Quiet people are red. All red people are cold. If someone is cold then they are quiet. If someone is white then they are cold. If someone is red and quiet then they are nice.
Dave is kind.
@0: Dave is big.[(triple1 OR ((((((((triple3) -> rule7)) -> rule6)) -> rule4) ((((triple3) -> rule7)) -> rule6)) -> rule3))] Dave is kind.[(triple2 OR ((((triple3) -> rule7)) -> rule2))] Dave is white.[(triple3)] @1: Dave is cold.[(((triple3) -> rule7))] @2: Dave is nice.[(((((triple3) -> rule7) triple1) -> rule1) OR ((((((((triple3) -> rule7)) -> rule6)) -> rule4) ((((triple3) -> rule7)) -> rule6)) -> rule8) OR ((((triple3) -> rule7) ((((((((triple3) -> rule7)) -> rule6)) -> rule4) ((((triple3) -> rule7)) -> rule6)) -> rule3)) -> rule1))] Dave is quiet.[(((((triple3) -> rule7)) -> rule6))] @3: Dave is red.[(((((((triple3) -> rule7)) -> rule6)) -> rule4))]