Anne is smart. Bob is big. Bob is not furry. Bob is kind. Bob is nice. Bob is young. Fiona is big. Fiona is furry. Gary is furry. Gary is round. Gary is not smart. Gary is young. If Fiona is big then Fiona is smart. If someone is furry then they are nice. If someone is nice then they are big. Furry people are kind. Nice people are kind. If someone is furry and not round then they are young.
Fiona is not young.
@0: Anne is smart.[(triple1)] Bob is big.[(triple2 OR ((triple5) -> rule3))] Bob is kind.[(triple4 OR ((triple5) -> rule5))] Bob is nice.[(triple5)] Bob is not furry.[(triple3)] Bob is young.[(triple6)] Fiona is big.[(triple7 OR ((((triple8) -> rule2)) -> rule3))] Fiona is furry.[(triple8)] Gary is furry.[(triple9)] Gary is not smart.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple12)] @1: Fiona is kind.[(((triple8) -> rule4) OR ((((triple8) -> rule2)) -> rule5))] Fiona is nice.[(((triple8) -> rule2))] Fiona is smart.[(((triple7) -> rule1) OR ((((((triple8) -> rule2)) -> rule3)) -> rule1))] Gary is kind.[(((triple9) -> rule4) OR ((((triple9) -> rule2)) -> rule5))] Gary is nice.[(((triple9) -> rule2))] @2: Gary is big.[(((((triple9) -> rule2)) -> rule3))]