Bob is blue. Bob is nice. Bob is quiet. Bob is red. Bob is round. Bob is white. Bob is young. Charlie is blue. Charlie is nice. Charlie is white. Harry is red. Harry is round. Red, nice people are round. Blue, nice people are red. If someone is nice then they are red. Red people are white. If Charlie is red then Charlie is blue. If Harry is young and Harry is quiet then Harry is nice.
Harry is quiet.
@0: Bob is blue.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple2) -> rule3) OR ((triple1 triple2) -> rule2))] Bob is round.[(triple5 OR ((triple4 triple2) -> rule1) OR ((((triple2) -> rule3) triple2) -> rule1) OR ((((triple1 triple2) -> rule2) triple2) -> rule1))] Bob is white.[(triple6 OR ((triple4) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((triple1 triple2) -> rule2)) -> rule4))] Bob is young.[(triple7)] Charlie is blue.[(triple8 OR ((((triple9) -> rule3)) -> rule5))] Charlie is nice.[(triple9)] Charlie is white.[(triple10 OR ((((triple9) -> rule3)) -> rule4) OR ((((triple8 triple9) -> rule2)) -> rule4))] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Charlie is red.[(((triple9) -> rule3) OR ((triple8 triple9) -> rule2))] Harry is white.[(((triple11) -> rule4))] @2: Charlie is round.[(((((triple9) -> rule3) triple9) -> rule1) OR ((((triple8 triple9) -> rule2) triple9) -> rule1))]