Anne is big. Anne is furry. Anne is nice. Anne is red. Anne is white. Bob is big. Bob is furry. Bob is red. Charlie is big. Charlie is round. Fiona is nice. Fiona is red. All big, round people are red. All quiet people are furry. If Charlie is red then Charlie is quiet. All quiet, white people are furry. If someone is quiet then they are furry. Furry people are round.
Fiona is not big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4 OR ((triple1 ((triple2) -> rule6)) -> rule1))] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is furry.[(triple7)] Bob is red.[(triple8 OR ((triple6 ((triple7) -> rule6)) -> rule1))] Charlie is big.[(triple9)] Charlie is round.[(triple10)] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] @1: Anne is round.[(((triple2) -> rule6))] Bob is round.[(((triple7) -> rule6))] Charlie is red.[(((triple9 triple10) -> rule1))] @2: Charlie is quiet.[(((((triple9 triple10) -> rule1)) -> rule3))] @3: Charlie is furry.[(((((((triple9 triple10) -> rule1)) -> rule3)) -> rule2) OR ((((((triple9 triple10) -> rule1)) -> rule3)) -> rule5))]