Bob is cold. Bob is rough. Bob is round. Dave is not big. Dave is cold. Dave is kind. Dave is quiet. Dave is round. Erin is big. Erin is blue. Rough things are round. Round things are blue. If something is kind then it is cold. If something is kind and not big then it is quiet. If something is blue then it is quiet. If something is big and not blue then it is kind.
Bob is not quiet.
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple2) -> rule1))] Dave is cold.[(triple5 OR ((triple6) -> rule3))] Dave is kind.[(triple6)] Dave is not big.[(triple4)] Dave is quiet.[(triple7 OR ((triple6 triple4) -> rule4) OR ((((triple8) -> rule2)) -> rule5))] Dave is round.[(triple8)] Erin is big.[(triple9)] Erin is blue.[(triple10)] @1: Bob is blue.[(((triple3) -> rule2) OR ((((triple2) -> rule1)) -> rule2))] Dave is blue.[(((triple8) -> rule2))] Erin is quiet.[(((triple10) -> rule5))] @2: Bob is quiet.[(((((triple3) -> rule2)) -> rule5) OR ((((((triple2) -> rule1)) -> rule2)) -> rule5))]