Bob is furry. Bob is nice. Charlie is blue. Dave is nice. Dave is rough. Dave is round. Gary is big. Smart, round things are nice. Furry things are blue. Blue things are round. If something is furry then it is rough. If Bob is furry then Bob is round. If something is blue and round then it is smart.
Gary is not smart.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2 OR ((((((triple1) -> rule2) ((triple1) -> rule5)) -> rule6) ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule2) ((triple1) -> rule5)) -> rule6) ((((triple1) -> rule2)) -> rule3)) -> rule1) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule6) ((triple1) -> rule5)) -> rule1) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule6) ((((triple1) -> rule2)) -> rule3)) -> rule1))] Charlie is blue.[(triple3)] Dave is nice.[(triple4)] Dave is rough.[(triple5)] Dave is round.[(triple6)] Gary is big.[(triple7)] @1: Bob is blue.[(((triple1) -> rule2))] Bob is rough.[(((triple1) -> rule4))] Bob is round.[(((triple1) -> rule5) OR ((((triple1) -> rule2)) -> rule3))] Charlie is round.[(((triple3) -> rule3))] @2: Bob is smart.[(((((triple1) -> rule2) ((triple1) -> rule5)) -> rule6) OR ((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule6))] Charlie is smart.[(((triple3 ((triple3) -> rule3)) -> rule6))] @3: Charlie is nice.[(((((triple3 ((triple3) -> rule3)) -> rule6) ((triple3) -> rule3)) -> rule1))]