Anne is round. Bob is kind. Fiona is red. Gary is green. Furry things are green. All green, red things are young. If something is kind then it is furry. If Fiona is red then Fiona is big. If something is red and kind then it is round. If something is furry and red then it is green. If something is furry and young then it is red. If Bob is red and Bob is big then Bob is young.
Fiona is not red.
@0: Anne is round.[(triple1)] Bob is kind.[(triple2)] Fiona is red.[(triple3)] Gary is green.[(triple4)] @1: Bob is furry.[(((triple2) -> rule3))] Fiona is big.[(((triple3) -> rule4))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule1))]