Bob is big. Dave is quiet. Dave is young. Fiona is green. Fiona is young. Gary is blue. Gary is young. All blue things are young. If something is big and red then it is young. If something is big then it is young. If Dave is red and Dave is quiet then Dave is young. All young, green things are blue. If Fiona is big then Fiona is young.
Dave is not quiet.
@0: Bob is big.[(triple1)] Dave is quiet.[(triple2)] Dave is young.[(triple3)] Fiona is green.[(triple4)] Fiona is young.[(triple5)] Gary is blue.[(triple6)] Gary is young.[(triple7 OR ((triple6) -> rule1))] @1: Bob is young.[(((triple1) -> rule3))] Fiona is blue.[(((triple5 triple4) -> rule5))]