Anne is big. Anne is blue. Anne is quiet. Anne is white. Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is quiet. Bob is white. Charlie is big. Charlie is quiet. Charlie is white. Dave is quiet. Dave is not white. Furry things are blue. If Anne is blue and Anne is furry then Anne is white. Furry, blue things are nice. If something is quiet and not furry then it is big. If Dave is furry and Dave is quiet then Dave is nice. If Anne is white and Anne is not blue then Anne is big.
Anne is not quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is quiet.[(triple3)] Anne is white.[(triple4)] Bob is big.[(triple5)] Bob is blue.[(triple6 OR ((triple8) -> rule1))] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is quiet.[(triple9)] Bob is white.[(triple10)] Charlie is big.[(triple11)] Charlie is quiet.[(triple12)] Charlie is white.[(triple13)] Dave is not white.[(triple15)] Dave is quiet.[(triple14)] @1: Bob is nice.[(((triple8 triple6) -> rule3) OR ((triple8 ((triple8) -> rule1)) -> rule3))]