Bob is blue. Bob is nice. Bob is red. Bob is round. Harry is blue. Harry is red. Harry is round. If Harry is red then Harry is quiet. Blue things are big. If something is quiet and nice then it is blue. If Harry is quiet and Harry is blue then Harry is nice. Blue things are round. If something is quiet and green then it is blue. If something is big and blue then it is round. If Bob is quiet and Bob is round then Bob is big.
Harry is quiet.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is round.[(triple4 OR ((triple1) -> rule5) OR ((((triple1) -> rule2) triple1) -> rule7))] Harry is blue.[(triple5)] Harry is red.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule5) OR ((((triple5) -> rule2) triple5) -> rule7))] @1: Bob is big.[(((triple1) -> rule2))] Harry is big.[(((triple5) -> rule2))] Harry is quiet.[(((triple6) -> rule1))] @2: Harry is nice.[(((((triple6) -> rule1) triple5) -> rule4))]