Bob is big. Bob is quiet. Bob is smart. Dave is big. Dave is smart. Dave is white. Harry is big. Harry is kind. Harry is smart. Harry is white. Big people are green. All round people are kind. Big, green people are round.
Harry is not big.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is smart.[(triple3)] Dave is big.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Harry is big.[(triple7)] Harry is kind.[(triple8 OR ((((triple7 ((triple7) -> rule1)) -> rule3)) -> rule2))] Harry is smart.[(triple9)] Harry is white.[(triple10)] @1: Bob is green.[(((triple1) -> rule1))] Dave is green.[(((triple4) -> rule1))] Harry is green.[(((triple7) -> rule1))] @2: Bob is round.[(((triple1 ((triple1) -> rule1)) -> rule3))] Dave is round.[(((triple4 ((triple4) -> rule1)) -> rule3))] Harry is round.[(((triple7 ((triple7) -> rule1)) -> rule3))] @3: Bob is kind.[(((((triple1 ((triple1) -> rule1)) -> rule3)) -> rule2))] Dave is kind.[(((((triple4 ((triple4) -> rule1)) -> rule3)) -> rule2))]