Dave is big. Dave is furry. Dave is kind. All rough, round people are white. All white people are big. Kind people are round. If someone is rough and kind then they are red. If Dave is round then Dave is rough. If someone is furry then they are kind.
Dave is round.
@0: Dave is big.[(triple1 OR ((((((((triple3) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((((((((triple3) -> rule3)) -> rule5) ((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule1)) -> rule2) OR ((((((((((triple2) -> rule6)) -> rule3)) -> rule5) ((((triple2) -> rule6)) -> rule3)) -> rule1)) -> rule2))] Dave is furry.[(triple2)] Dave is kind.[(triple3 OR ((triple2) -> rule6))] @1: Dave is round.[(((triple3) -> rule3) OR ((((triple2) -> rule6)) -> rule3))] @2: Dave is rough.[(((((triple3) -> rule3)) -> rule5) OR ((((((triple2) -> rule6)) -> rule3)) -> rule5))] @3: Dave is red.[(((((((triple3) -> rule3)) -> rule5) triple3) -> rule4) OR ((((((triple3) -> rule3)) -> rule5) ((triple2) -> rule6)) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5) triple3) -> rule4) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5) ((triple2) -> rule6)) -> rule4))] Dave is white.[(((((((triple3) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule1) OR ((((((triple3) -> rule3)) -> rule5) ((((triple2) -> rule6)) -> rule3)) -> rule1) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5) ((triple3) -> rule3)) -> rule1) OR ((((((((triple2) -> rule6)) -> rule3)) -> rule5) ((((triple2) -> rule6)) -> rule3)) -> rule1))]