Bob is big. Bob is green. Bob is kind. Bob is nice. Bob is not quiet. Bob is white. Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. If someone is nice and white then they are kind.
Fiona is quiet.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3 OR ((triple4 triple6) -> rule1))] Bob is nice.[(triple4)] Bob is not quiet.[(triple5)] Bob is white.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is green.[(triple9)] Fiona is nice.[(triple10)] Fiona is quiet.[(triple11)] Fiona is white.[(triple12)] @1: Fiona is kind.[(((triple10 triple12) -> rule1))]