Dave is big. Dave is kind. Dave is quiet. Dave is white. Erin is blue. Erin is rough. Erin is white. If someone is kind then they are cold. Quiet people are rough. If Dave is big then Dave is cold. Kind people are quiet. Cold people are white. Cold, quiet people are big. If someone is white then they are blue. If someone is big then they are quiet.
Dave is quiet.
@0: Dave is big.[(triple1 OR ((((triple2) -> rule1) triple3) -> rule6) OR ((((triple2) -> rule1) ((triple2) -> rule4)) -> rule6))] Dave is kind.[(triple2)] Dave is quiet.[(triple3 OR ((triple1) -> rule8) OR ((triple2) -> rule4))] Dave is white.[(triple4 OR ((((triple1) -> rule3)) -> rule5) OR ((((triple2) -> rule1)) -> rule5))] Erin is blue.[(triple5 OR ((triple7) -> rule7))] Erin is rough.[(triple6)] Erin is white.[(triple7)] @1: Dave is blue.[(((triple4) -> rule7) OR ((((((triple1) -> rule3)) -> rule5)) -> rule7) OR ((((((triple2) -> rule1)) -> rule5)) -> rule7))] Dave is cold.[(((triple1) -> rule3) OR ((triple2) -> rule1))] Dave is rough.[(((triple3) -> rule2) OR ((((triple1) -> rule8)) -> rule2) OR ((((triple2) -> rule4)) -> rule2))]