Charlie is blue. Charlie is nice. Charlie is quiet. Dave is big. Dave is blue. Dave is kind. Dave is nice. If Charlie is blue then Charlie is big. If someone is cold then they are nice. All blue people are cold. White people are blue. All nice people are big. Cold people are kind. All cold people are nice. All cold people are nice.
Charlie is not white.
@0: Charlie is blue.[(triple1)] Charlie is nice.[(triple2 OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule3)) -> rule7) OR ((((triple1) -> rule3)) -> rule8))] Charlie is quiet.[(triple3)] Dave is big.[(triple4 OR ((triple7) -> rule5) OR ((((((triple5) -> rule3)) -> rule2)) -> rule5) OR ((((((triple5) -> rule3)) -> rule7)) -> rule5) OR ((((((triple5) -> rule3)) -> rule8)) -> rule5))] Dave is blue.[(triple5)] Dave is kind.[(triple6 OR ((((triple5) -> rule3)) -> rule6))] Dave is nice.[(triple7 OR ((((triple5) -> rule3)) -> rule2) OR ((((triple5) -> rule3)) -> rule7) OR ((((triple5) -> rule3)) -> rule8))] @1: Charlie is big.[(((triple1) -> rule1) OR ((triple2) -> rule5) OR ((((((triple1) -> rule3)) -> rule2)) -> rule5) OR ((((((triple1) -> rule3)) -> rule7)) -> rule5) OR ((((((triple1) -> rule3)) -> rule8)) -> rule5))] Charlie is cold.[(((triple1) -> rule3))] Dave is cold.[(((triple5) -> rule3))] @2: Charlie is kind.[(((((triple1) -> rule3)) -> rule6))]