Bob is big. Dave is nice. Dave is quiet. Gary is not big. Gary is quiet. Gary is white. Harry is green. Harry is quiet. Harry is red. Harry is not smart. If something is green then it is white. All big things are white. If something is quiet and smart then it is big. If Gary is white and Gary is nice then Gary is green. Smart things are quiet. Quiet things are nice. All green, white things are red. If something is green and not white then it is not red.
Bob is not smart.
@0: Bob is big.[(triple1)] Dave is nice.[(triple2 OR ((triple3) -> rule6))] Dave is quiet.[(triple3)] Gary is not big.[(triple4)] Gary is quiet.[(triple5)] Gary is white.[(triple6)] Harry is green.[(triple7)] Harry is not smart.[(triple10)] Harry is quiet.[(triple8)] Harry is red.[(triple9 OR ((triple7 ((triple7) -> rule1)) -> rule7))] @1: Bob is white.[(((triple1) -> rule2))] Gary is nice.[(((triple5) -> rule6))] Harry is nice.[(((triple8) -> rule6))] Harry is white.[(((triple7) -> rule1))] @2: Gary is green.[(((triple6 ((triple5) -> rule6)) -> rule4))] @3: Gary is red.[(((((triple6 ((triple5) -> rule6)) -> rule4) triple6) -> rule7))]