Bob is big. Bob is young. Charlie is big. Charlie is blue. Charlie is smart. Charlie is young. Harry is furry. Harry is smart. Harry is white. Harry is young. All quiet things are big. Young things are quiet.
Harry is not big.
@0: Bob is big.[(triple1 OR ((((triple2) -> rule2)) -> rule1))] Bob is young.[(triple2)] Charlie is big.[(triple3 OR ((((triple6) -> rule2)) -> rule1))] Charlie is blue.[(triple4)] Charlie is smart.[(triple5)] Charlie is young.[(triple6)] Harry is furry.[(triple7)] Harry is smart.[(triple8)] Harry is white.[(triple9)] Harry is young.[(triple10)] @1: Bob is quiet.[(((triple2) -> rule2))] Charlie is quiet.[(((triple6) -> rule2))] Harry is quiet.[(((triple10) -> rule2))] @2: Harry is big.[(((((triple10) -> rule2)) -> rule1))]