Bob is furry. Charlie is nice. Charlie is round. Fiona is not red. Fiona is not white. Gary is furry. Gary is round. If someone is furry then they are young. All young people are red. If someone is red then they are big. Round, big people are furry. If Fiona is big and Fiona is not white then Fiona is not nice. If Charlie is big then Charlie is furry. If someone is white and not young then they are nice. All young people are nice.
Gary is round.
@0: Bob is furry.[(triple1)] Charlie is nice.[(triple2)] Charlie is round.[(triple3)] Fiona is not red.[(triple4)] Fiona is not white.[(triple5)] Gary is furry.[(triple6)] Gary is round.[(triple7)] @1: Bob is young.[(((triple1) -> rule1))] Gary is young.[(((triple6) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule1)) -> rule8))] Bob is red.[(((((triple1) -> rule1)) -> rule2))] Gary is nice.[(((((triple6) -> rule1)) -> rule8))] Gary is red.[(((((triple6) -> rule1)) -> rule2))] @3: Bob is big.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))] Gary is big.[(((((((triple6) -> rule1)) -> rule2)) -> rule3))]