Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is not red. Anne is round. Anne is young. Bob is furry. Charlie is blue. Charlie is furry. Charlie is kind. Fiona is big. Fiona is furry. Fiona is red. Fiona is round. If Charlie is big then Charlie is not young. If something is furry and blue then it is young. If something is young and round then it is furry. Red, blue things are furry. If Bob is kind then Bob is young. If something is young and red then it is blue. If something is kind and not red then it is round. If Fiona is young and Fiona is big then Fiona is not furry.
Bob is not round.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is furry.[(triple3 OR ((triple7 triple6) -> rule3) OR ((triple7 ((triple4 triple5) -> rule7)) -> rule3))] Anne is kind.[(triple4)] Anne is not red.[(triple5)] Anne is round.[(triple6 OR ((triple4 triple5) -> rule7))] Anne is young.[(triple7 OR ((triple3 triple2) -> rule2))] Bob is furry.[(triple8)] Charlie is blue.[(triple9)] Charlie is furry.[(triple10)] Charlie is kind.[(triple11)] Fiona is big.[(triple12)] Fiona is furry.[(triple13)] Fiona is red.[(triple14)] Fiona is round.[(triple15)] @1: Charlie is young.[(((triple10 triple9) -> rule2))]