Anne is big. Anne is red. Anne is white. Fiona is blue. Fiona is furry. Fiona is kind. Gary is young. Harry is furry. Harry is white. Harry is young. All red, kind things are young. White things are red. All young, blue things are big. If something is furry then it is big. All big, blue things are young. Young, furry things are red. If Gary is white and Gary is blue then Gary is red. If Fiona is white and Fiona is kind then Fiona is young.
Fiona is not blue.
@0: Anne is big.[(triple1)] Anne is red.[(triple2 OR ((triple3) -> rule2))] Anne is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is furry.[(triple5)] Fiona is kind.[(triple6)] Gary is young.[(triple7)] Harry is furry.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Fiona is big.[(((triple5) -> rule4))] Harry is big.[(((triple8) -> rule4))] Harry is red.[(((triple9) -> rule2) OR ((triple10 triple8) -> rule6))] @2: Fiona is young.[(((((triple5) -> rule4) triple4) -> rule5))] @3: Fiona is red.[(((((((triple5) -> rule4) triple4) -> rule5) triple5) -> rule6))]