Bob is furry. Bob is kind. Bob is quiet. Bob is red. Bob is white. Bob is young. Dave is furry. Dave is quiet. Dave is young. Fiona is big. Fiona is kind. Fiona is young. Kind, young things are red. All quiet, red things are young. Quiet things are young.
Dave is not red.
@0: Bob is furry.[(triple1)] Bob is kind.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple2 triple6) -> rule1) OR ((triple2 ((triple3) -> rule3)) -> rule1))] Bob is white.[(triple5)] Bob is young.[(triple6 OR ((triple3) -> rule3) OR ((triple3 triple4) -> rule2))] Dave is furry.[(triple7)] Dave is quiet.[(triple8)] Dave is young.[(triple9 OR ((triple8) -> rule3))] Fiona is big.[(triple10)] Fiona is kind.[(triple11)] Fiona is young.[(triple12)] @1: Fiona is red.[(((triple11 triple12) -> rule1))]