Anne is big. Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is quiet. Anne is red. Fiona is big. Fiona is blue. Fiona is cold. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. If Anne is cold then Anne is red. All green people are big. If someone is red then they are blue. If someone is blue and green then they are quiet. Blue, nice people are cold. If Fiona is nice then Fiona is cold.
Anne is not red.
@0: Anne is big.[(triple1 OR ((triple4) -> rule2))] Anne is blue.[(triple2 OR ((triple7) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Anne is cold.[(triple3 OR ((triple2 triple5) -> rule5) OR ((((triple7) -> rule3) triple5) -> rule5))] Anne is green.[(triple4)] Anne is nice.[(triple5)] Anne is quiet.[(triple6 OR ((triple2 triple4) -> rule4) OR ((((triple7) -> rule3) triple4) -> rule4) OR ((((((triple3) -> rule1)) -> rule3) triple4) -> rule4))] Anne is red.[(triple7 OR ((triple3) -> rule1) OR ((((triple2 triple5) -> rule5)) -> rule1))] Fiona is big.[(triple8 OR ((triple11) -> rule2))] Fiona is blue.[(triple9 OR ((triple14) -> rule3))] Fiona is cold.[(triple10 OR ((triple12) -> rule6) OR ((triple9 triple12) -> rule5) OR ((((triple14) -> rule3) triple12) -> rule5))] Fiona is green.[(triple11)] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13 OR ((triple9 triple11) -> rule4) OR ((((triple14) -> rule3) triple11) -> rule4))] Fiona is red.[(triple14)]