Anne is quiet. Anne is white. Fiona is blue. Fiona is cold. Fiona is nice. Harry is red. Harry is white. If someone is nice then they are big. Quiet people are big. If Harry is quiet then Harry is nice. Blue, red people are quiet. Red, nice people are blue. All white people are blue. Big people are blue. If Fiona is white then Fiona is quiet.
Harry is red.
@0: Anne is quiet.[(triple1)] Anne is white.[(triple2)] Fiona is blue.[(triple3 OR ((((triple5) -> rule1)) -> rule7))] Fiona is cold.[(triple4)] Fiona is nice.[(triple5)] Harry is red.[(triple6)] Harry is white.[(triple7)] @1: Anne is big.[(((triple1) -> rule2))] Anne is blue.[(((triple2) -> rule6) OR ((((triple1) -> rule2)) -> rule7))] Fiona is big.[(((triple5) -> rule1))] Harry is blue.[(((triple7) -> rule6))] @2: Harry is quiet.[(((((triple7) -> rule6) triple6) -> rule4))] @3: Harry is big.[(((((((triple7) -> rule6) triple6) -> rule4)) -> rule2) OR ((((((((triple7) -> rule6) triple6) -> rule4)) -> rule3)) -> rule1))] Harry is nice.[(((((((triple7) -> rule6) triple6) -> rule4)) -> rule3))]