Dave is rough. Dave is smart. Dave is white. Erin is big. Erin is quiet. Erin is rough. Erin is white. Big people are white. Quiet people are smart. All smart, green people are white. All quiet, green people are red. If someone is rough and smart then they are big. If someone is red and rough then they are quiet. If someone is big then they are green. If someone is big and green then they are quiet.
Dave is big.
@0: Dave is rough.[(triple1)] Dave is smart.[(triple2)] Dave is white.[(triple3 OR ((((triple1 triple2) -> rule5)) -> rule1) OR ((triple2 ((((triple1 triple2) -> rule5)) -> rule7)) -> rule3))] Erin is big.[(triple4 OR ((triple6 ((triple5) -> rule2)) -> rule5))] Erin is quiet.[(triple5 OR ((triple4 ((triple4) -> rule7)) -> rule8))] Erin is rough.[(triple6)] Erin is white.[(triple7 OR ((triple4) -> rule1) OR ((((triple5) -> rule2) ((triple4) -> rule7)) -> rule3) OR ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule1) OR ((((triple5) -> rule2) ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3) OR ((((((triple4 ((triple4) -> rule7)) -> rule8)) -> rule2) ((triple4) -> rule7)) -> rule3) OR ((((((triple4 ((triple4) -> rule7)) -> rule8)) -> rule2) ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule3))] @1: Dave is big.[(((triple1 triple2) -> rule5))] Erin is green.[(((triple4) -> rule7) OR ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule7))] Erin is smart.[(((triple5) -> rule2) OR ((((triple4 ((triple4) -> rule7)) -> rule8)) -> rule2))] @2: Dave is green.[(((((triple1 triple2) -> rule5)) -> rule7))] Erin is red.[(((triple5 ((triple4) -> rule7)) -> rule4) OR ((((triple4 ((triple4) -> rule7)) -> rule8) ((triple4) -> rule7)) -> rule4) OR ((triple5 ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule4) OR ((((triple4 ((triple4) -> rule7)) -> rule8) ((((triple6 ((triple5) -> rule2)) -> rule5)) -> rule7)) -> rule4))] @3: Dave is quiet.[(((((triple1 triple2) -> rule5) ((((triple1 triple2) -> rule5)) -> rule7)) -> rule8))] @4: Dave is red.[(((((((triple1 triple2) -> rule5) ((((triple1 triple2) -> rule5)) -> rule7)) -> rule8) ((((triple1 triple2) -> rule5)) -> rule7)) -> rule4))]