Bob is not big. Bob is not blue. Bob is quiet. Bob is red. Bob is round. Bob is young. Fiona is red. Fiona is not round. Harry is blue. Harry is young. If someone is big and red then they are furry. All furry, red people are not blue. If Harry is quiet then Harry is blue. If someone is red then they are young. If Fiona is young and Fiona is not furry then Fiona is blue. If Harry is quiet and Harry is not furry then Harry is round. If someone is blue and not red then they are round. If someone is young and not big then they are round.
Fiona is big.
@0: Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5 OR ((triple6 triple1) -> rule8) OR ((((triple4) -> rule4) triple1) -> rule8))] Bob is young.[(triple6 OR ((triple4) -> rule4))] Fiona is not round.[(triple8)] Fiona is red.[(triple7)] Harry is blue.[(triple9)] Harry is young.[(triple10)] @1: Fiona is young.[(((triple7) -> rule4))]