Dave is big. Dave is furry. Dave is quiet. Dave is red. Dave is round. Dave is young. Fiona is round. If Fiona is big then Fiona is young. Round, kind things are furry. All red, big things are kind.
Fiona is young.
@0: Dave is big.[(triple1)] Dave is furry.[(triple2 OR ((triple5 ((triple4 triple1) -> rule3)) -> rule2))] Dave is quiet.[(triple3)] Dave is red.[(triple4)] Dave is round.[(triple5)] Dave is young.[(triple6)] Fiona is round.[(triple7)] @1: Dave is kind.[(((triple4 triple1) -> rule3))]