Bob is big. Bob is not furry. Bob is quiet. Bob is white. Bob is young. Fiona is big. Fiona is furry. Fiona is not green. Fiona is quiet. Fiona is not red. Fiona is white. Fiona is young. If something is young and not green then it is big. If something is red and young then it is white. Green things are not red.
Bob is not quiet.
@0: Bob is big.[(triple1)] Bob is not furry.[(triple2)] Bob is quiet.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Fiona is big.[(triple6 OR ((triple12 triple8) -> rule1))] Fiona is furry.[(triple7)] Fiona is not green.[(triple8)] Fiona is not red.[(triple10)] Fiona is quiet.[(triple9)] Fiona is white.[(triple11)] Fiona is young.[(triple12)]