Bob is big. Bob is nice. Bob is quiet. Bob is smart. Charlie is nice. Charlie is quiet. Fiona is big. Fiona is quiet. Harry is furry. Harry is nice. Harry is quiet. Harry is red. All blue things are big. All big things are quiet. All nice things are big.
Bob is not big.
@0: Bob is big.[(triple1 OR ((triple2) -> rule3))] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple1) -> rule2) OR ((((triple2) -> rule3)) -> rule2))] Bob is smart.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6 OR ((((triple5) -> rule3)) -> rule2))] Fiona is big.[(triple7)] Fiona is quiet.[(triple8 OR ((triple7) -> rule2))] Harry is furry.[(triple9)] Harry is nice.[(triple10)] Harry is quiet.[(triple11 OR ((((triple10) -> rule3)) -> rule2))] Harry is red.[(triple12)] @1: Charlie is big.[(((triple5) -> rule3))] Harry is big.[(((triple10) -> rule3))]