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