Anne is cold. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is white. Anne is young. Bob is cold. Bob is nice. Bob is round. Bob is white. Bob is young. All nice, young things are red. If something is round and young then it is cold. Cold, white things are round. Young things are red. If something is round then it is red. All young things are round.
Anne is not red.
@0: Anne is cold.[(triple1 OR ((triple5 triple7) -> rule2) OR ((((triple7) -> rule6) triple7) -> rule2))] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple5) -> rule5) OR ((triple7) -> rule4) OR ((triple2 triple7) -> rule1) OR ((((triple7) -> rule6)) -> rule5) OR ((((triple1 triple6) -> rule3)) -> rule5))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple7) -> rule6) OR ((triple1 triple6) -> rule3))] Anne is white.[(triple6)] Anne is young.[(triple7)] Bob is cold.[(triple8 OR ((triple10 triple12) -> rule2) OR ((((triple12) -> rule6) triple12) -> rule2))] Bob is nice.[(triple9)] Bob is round.[(triple10 OR ((triple12) -> rule6) OR ((triple8 triple11) -> rule3))] Bob is white.[(triple11)] Bob is young.[(triple12)] @1: Bob is red.[(((triple10) -> rule5) OR ((triple12) -> rule4) OR ((triple9 triple12) -> rule1) OR ((((triple12) -> rule6)) -> rule5) OR ((((triple8 triple11) -> rule3)) -> rule5))]