Bob is big. Bob is blue. Bob is nice. Bob is quiet. Bob is round. Bob is smart. Fiona is blue. Fiona is quiet. Fiona is red. Fiona is round. Big things are smart. All nice things are big.
Fiona is not smart.
@0: Bob is big.[(triple1 OR ((triple3) -> rule2))] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple1) -> rule1) OR ((((triple3) -> rule2)) -> rule1))] Fiona is blue.[(triple7)] Fiona is quiet.[(triple8)] Fiona is red.[(triple9)] Fiona is round.[(triple10)]