Bob is big. Bob is blue. Bob is nice. Bob is white. Bob is young. Charlie is quiet. Dave is green. Dave is white. Harry is big. Harry is blue. Harry is nice. Harry is young. Young things are quiet. If something is quiet then it is white. Blue, big things are young.
Bob is green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is nice.[(triple3)] Bob is white.[(triple4 OR ((((triple5) -> rule1)) -> rule2) OR ((((((triple2 triple1) -> rule3)) -> rule1)) -> rule2))] Bob is young.[(triple5 OR ((triple2 triple1) -> rule3))] Charlie is quiet.[(triple6)] Dave is green.[(triple7)] Dave is white.[(triple8)] Harry is big.[(triple9)] Harry is blue.[(triple10)] Harry is nice.[(triple11)] Harry is young.[(triple12 OR ((triple10 triple9) -> rule3))] @1: Bob is quiet.[(((triple5) -> rule1) OR ((((triple2 triple1) -> rule3)) -> rule1))] Charlie is white.[(((triple6) -> rule2))] Harry is quiet.[(((triple12) -> rule1) OR ((((triple10 triple9) -> rule3)) -> rule1))] @2: Harry is white.[(((((triple12) -> rule1)) -> rule2) OR ((((((triple10 triple9) -> rule3)) -> rule1)) -> rule2))]