Anne is big. Anne is kind. Anne is nice. Anne is red. Bob is big. Bob is blue. Bob is kind. Bob is nice. Bob is red. Dave is blue. Dave is kind. Dave is red. All nice things are big. If Bob is kind then Bob is nice. Blue things are nice. White things are blue. If something is kind then it is quiet. All white things are nice.
Anne is not blue.
@0: Anne is big.[(triple1 OR ((triple3) -> rule1))] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Bob is big.[(triple5 OR ((triple8) -> rule1) OR ((((triple6) -> rule3)) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Bob is blue.[(triple6)] Bob is kind.[(triple7)] Bob is nice.[(triple8 OR ((triple6) -> rule3) OR ((triple7) -> rule2))] Bob is red.[(triple9)] Dave is blue.[(triple10)] Dave is kind.[(triple11)] Dave is red.[(triple12)] @1: Anne is quiet.[(((triple2) -> rule5))] Bob is quiet.[(((triple7) -> rule5))] Dave is nice.[(((triple10) -> rule3))] Dave is quiet.[(((triple11) -> rule5))] @2: Dave is big.[(((((triple10) -> rule3)) -> rule1))]