Anne is big. Anne is cold. Anne is furry. Anne is not green. Anne is nice. Anne is red. Bob is not big. Bob is nice. Bob is quiet. Bob is red. Furry, green things are nice. If something is quiet and not furry then it is nice. If Anne is red then Anne is big.
Anne is not furry.
@0: Anne is big.[(triple1 OR ((triple6) -> rule3))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple5)] Anne is not green.[(triple4)] Anne is red.[(triple6)] Bob is nice.[(triple8)] Bob is not big.[(triple7)] Bob is quiet.[(triple9)] Bob is red.[(triple10)]