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