Bob is big. Bob is quiet. Bob is round. Dave is round. Dave is white. Dave is young. Harry is big. Harry is not green. Harry is nice. Harry is not round. Harry is white. Harry is young. Nice, quiet things are not green. If Harry is nice and Harry is round then Harry is big. If something is round and not young then it is big. If something is quiet and white then it is nice. Big things are white. If Dave is round then Dave is nice.
Bob is young.
@0: Bob is big.[(triple1)] Bob is quiet.[(triple2)] Bob is round.[(triple3)] Dave is round.[(triple4)] Dave is white.[(triple5)] Dave is young.[(triple6)] Harry is big.[(triple7)] Harry is nice.[(triple9)] Harry is not green.[(triple8)] Harry is not round.[(triple10)] Harry is white.[(triple11 OR ((triple7) -> rule5))] Harry is young.[(triple12)] @1: Bob is white.[(((triple1) -> rule5))] Dave is nice.[(((triple4) -> rule6))] @2: Bob is nice.[(((triple2 ((triple1) -> rule5)) -> rule4))] @3: Bob is not green.[(((((triple2 ((triple1) -> rule5)) -> rule4) triple2) -> rule1))]