Bob is big. Bob is quiet. Bob is red. Bob is white. Dave is big. Dave is nice. Dave is round. Fiona is quiet. Fiona is red. Fiona is round. Red things are round.
Fiona is not big.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Dave is big.[(triple5)] Dave is nice.[(triple6)] Dave is round.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10 OR ((triple9) -> rule1))] @1: Bob is round.[(((triple3) -> rule1))]