Bob is red. Bob is rough. Dave is red. Gary is nice. Gary is quiet. Harry is blue. Harry is young. Nice things are quiet. All young things are blue. All quiet, red things are blue. If Harry is rough and Harry is young then Harry is red. If something is rough and quiet then it is blue. If Gary is red then Gary is smart. All red things are nice. All rough, young things are smart. If something is blue and rough then it is young.
Bob is young.
@0: Bob is red.[(triple1)] Bob is rough.[(triple2)] Dave is red.[(triple3)] Gary is nice.[(triple4)] Gary is quiet.[(triple5 OR ((triple4) -> rule1))] Harry is blue.[(triple6 OR ((triple7) -> rule2))] Harry is young.[(triple7)] @1: Bob is nice.[(((triple1) -> rule7))] Dave is nice.[(((triple3) -> rule7))] @2: Bob is quiet.[(((((triple1) -> rule7)) -> rule1))] Dave is quiet.[(((((triple3) -> rule7)) -> rule1))] @3: Bob is blue.[(((triple2 ((((triple1) -> rule7)) -> rule1)) -> rule5) OR ((((((triple1) -> rule7)) -> rule1) triple1) -> rule3))] Dave is blue.[(((((((triple3) -> rule7)) -> rule1) triple3) -> rule3))] @4: Bob is young.[(((((triple2 ((((triple1) -> rule7)) -> rule1)) -> rule5) triple2) -> rule9) OR ((((((((triple1) -> rule7)) -> rule1) triple1) -> rule3) triple2) -> rule9))] @5: Bob is smart.[(((triple2 ((((triple2 ((((triple1) -> rule7)) -> rule1)) -> rule5) triple2) -> rule9)) -> rule8) OR ((triple2 ((((((((triple1) -> rule7)) -> rule1) triple1) -> rule3) triple2) -> rule9)) -> rule8))]