Bob is green. Bob is not nice. Dave is furry. Erin is furry. Erin is nice. Fiona is big. Fiona is not furry. Kind things are young. Young, big things are green. If something is young then it is green. If something is big and rough then it is not nice. If something is big then it is nice. If Bob is furry then Bob is young. If something is furry then it is big. If something is nice then it is kind.
Dave is rough.
@0: Bob is green.[(triple1)] Bob is not nice.[(triple2)] Dave is furry.[(triple3)] Erin is furry.[(triple4)] Erin is nice.[(triple5 OR ((((triple4) -> rule7)) -> rule5))] Fiona is big.[(triple6)] Fiona is not furry.[(triple7)] @1: Dave is big.[(((triple3) -> rule7))] Erin is big.[(((triple4) -> rule7))] Erin is kind.[(((triple5) -> rule8) OR ((((((triple4) -> rule7)) -> rule5)) -> rule8))] Fiona is nice.[(((triple6) -> rule5))] @2: Dave is nice.[(((((triple3) -> rule7)) -> rule5))] Erin is young.[(((((triple5) -> rule8)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule5)) -> rule8)) -> rule1))] Fiona is kind.[(((((triple6) -> rule5)) -> rule8))] @3: Dave is kind.[(((((((triple3) -> rule7)) -> rule5)) -> rule8))] Erin is green.[(((((((triple5) -> rule8)) -> rule1)) -> rule3) OR ((((((triple5) -> rule8)) -> rule1) ((triple4) -> rule7)) -> rule2) OR ((((((((((triple4) -> rule7)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple4) -> rule7)) -> rule5)) -> rule8)) -> rule1) ((triple4) -> rule7)) -> rule2))] Fiona is young.[(((((((triple6) -> rule5)) -> rule8)) -> rule1))] @4: Dave is young.[(((((((((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule1))] Fiona is green.[(((((((((triple6) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule8)) -> rule1) triple6) -> rule2))] @5: Dave is green.[(((((((((((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule1)) -> rule3) OR ((((((((((triple3) -> rule7)) -> rule5)) -> rule8)) -> rule1) ((triple3) -> rule7)) -> rule2))]