Charlie is green. Charlie is rough. Charlie is young. Dave is green. Dave is quiet. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is rough. If something is quiet and rough then it is young. If something is rough then it is red. All red things are green. If Dave is quiet then Dave is smart. All young things are quiet. Red things are young. Quiet things are rough. All quiet things are green.
Erin is quiet.
@0: Charlie is green.[(triple1 OR ((((triple2) -> rule2)) -> rule3) OR ((((triple3) -> rule5)) -> rule8) OR ((((((((triple2) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule5)) -> rule7)) -> rule2)) -> rule3))] Charlie is rough.[(triple2 OR ((((triple3) -> rule5)) -> rule7))] Charlie is young.[(triple3 OR ((((triple2) -> rule2)) -> rule6))] Dave is green.[(triple4 OR ((triple5) -> rule8) OR ((triple6) -> rule3) OR ((((triple7) -> rule2)) -> rule3) OR ((((triple9) -> rule5)) -> rule8) OR ((((((triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((triple6) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule5)) -> rule8) OR ((((((((triple9) -> rule5)) -> rule7)) -> rule2)) -> rule3))] Dave is quiet.[(triple5 OR ((triple9) -> rule5) OR ((((triple6) -> rule6)) -> rule5) OR ((((((triple7) -> rule2)) -> rule6)) -> rule5))] Dave is red.[(triple6 OR ((triple7) -> rule2) OR ((((triple5) -> rule7)) -> rule2) OR ((((((triple9) -> rule5)) -> rule7)) -> rule2))] Dave is rough.[(triple7 OR ((triple5) -> rule7) OR ((((triple9) -> rule5)) -> rule7) OR ((((((triple6) -> rule6)) -> rule5)) -> rule7))] Dave is smart.[(triple8 OR ((triple5) -> rule4) OR ((((triple9) -> rule5)) -> rule4) OR ((((((triple6) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule5)) -> rule4))] Dave is young.[(triple9 OR ((triple6) -> rule6) OR ((triple5 triple7) -> rule1) OR ((((triple7) -> rule2)) -> rule6) OR ((triple5 ((triple5) -> rule7)) -> rule1) OR ((((((triple5) -> rule7)) -> rule2)) -> rule6))] Erin is rough.[(triple10)] @1: Charlie is quiet.[(((triple3) -> rule5) OR ((((((triple2) -> rule2)) -> rule6)) -> rule5))] Charlie is red.[(((triple2) -> rule2) OR ((((((triple3) -> rule5)) -> rule7)) -> rule2))] Erin is red.[(((triple10) -> rule2))] @2: Erin is green.[(((((triple10) -> rule2)) -> rule3) OR ((((((((triple10) -> rule2)) -> rule6)) -> rule5)) -> rule8))] Erin is young.[(((((triple10) -> rule2)) -> rule6))] @3: Erin is quiet.[(((((((triple10) -> rule2)) -> rule6)) -> rule5))]