Bob is green. Bob is rough. Bob is round. Dave is furry. Dave is nice. Dave is red. Dave is round. All round people are green. Green people are nice. If someone is green and nice then they are furry. If Dave is furry and Dave is green then Dave is red. If someone is nice then they are green. If someone is red then they are furry.
Dave is blue.
@0: Bob is green.[(triple1 OR ((triple3) -> rule1))] Bob is rough.[(triple2)] Bob is round.[(triple3)] Dave is furry.[(triple4 OR ((triple6) -> rule6) OR ((((triple5) -> rule5) triple5) -> rule3) OR ((((triple7) -> rule1) triple5) -> rule3) OR ((((triple5) -> rule5) ((((triple7) -> rule1)) -> rule2)) -> rule3) OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule2)) -> rule3))] Dave is nice.[(triple5 OR ((((triple7) -> rule1)) -> rule2))] Dave is red.[(triple6 OR ((triple4 ((triple5) -> rule5)) -> rule4) OR ((triple4 ((triple7) -> rule1)) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5) triple5) -> rule3) ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1) triple5) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) triple5) -> rule3) ((triple7) -> rule1)) -> rule4) OR ((((((triple5) -> rule5) ((((triple7) -> rule1)) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple5) -> rule5) ((((triple7) -> rule1)) -> rule2)) -> rule3) ((triple7) -> rule1)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule2)) -> rule3) ((triple5) -> rule5)) -> rule4) OR ((((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule2)) -> rule3) ((triple7) -> rule1)) -> rule4))] Dave is round.[(triple7)] @1: Bob is nice.[(((triple1) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Dave is green.[(((triple5) -> rule5) OR ((triple7) -> rule1))] @2: Bob is furry.[(((triple1 ((triple1) -> rule2)) -> rule3) OR ((((triple3) -> rule1) ((triple1) -> rule2)) -> rule3) OR ((triple1 ((((triple3) -> rule1)) -> rule2)) -> rule3) OR ((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule3))]