Anne is big. Anne is cold. Anne is red. Anne is rough. Fiona is red. Harry is big. Harry is cold. If something is rough then it is cold. All cold, rough things are big. All big things are red. If Fiona is big and Fiona is not blue then Fiona is not rough. If Anne is red and Anne is not cold then Anne is quiet. Rough, quiet things are furry. If something is red and quiet then it is furry. If Fiona is big and Fiona is not rough then Fiona is not red.
Fiona is not furry.
@0: Anne is big.[(triple1 OR ((triple2 triple4) -> rule2) OR ((((triple4) -> rule1) triple4) -> rule2))] Anne is cold.[(triple2 OR ((triple4) -> rule1))] Anne is red.[(triple3 OR ((triple1) -> rule3) OR ((((triple2 triple4) -> rule2)) -> rule3) OR ((((((triple4) -> rule1) triple4) -> rule2)) -> rule3))] Anne is rough.[(triple4)] Fiona is red.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Harry is red.[(((triple6) -> rule3))]