Bob is white. Dave is smart. Gary is round. Harry is smart. If someone is green and smart then they are white. All white people are rough. All smart people are green. If Dave is big and Dave is white then Dave is smart. If someone is big and green then they are smart. If someone is nice then they are smart. All green, smart people are nice. If Bob is not smart then Bob is round.
Gary is big.
@0: Bob is white.[(triple1)] Dave is smart.[(triple2)] Gary is round.[(triple3)] Harry is smart.[(triple4)] @1: Bob is rough.[(((triple1) -> rule2))] Dave is green.[(((triple2) -> rule3))] Harry is green.[(((triple4) -> rule3))] @2: Dave is nice.[(((((triple2) -> rule3) triple2) -> rule7))] Dave is white.[(((((triple2) -> rule3) triple2) -> rule1))] Harry is nice.[(((((triple4) -> rule3) triple4) -> rule7))] Harry is white.[(((((triple4) -> rule3) triple4) -> rule1))] @3: Dave is rough.[(((((((triple2) -> rule3) triple2) -> rule1)) -> rule2))] Harry is rough.[(((((((triple4) -> rule3) triple4) -> rule1)) -> rule2))]