Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is rough. Anne is smart. Anne is white. Erin is big. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Erin is smart. Erin is white. If Erin is smart then Erin is nice. All quiet things are smart. If something is big and rough then it is quiet. All nice things are quiet. If something is rough then it is kind. White things are quiet. All kind things are nice. If something is big then it is white.
Anne is kind.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2 OR ((triple5) -> rule5))] Anne is nice.[(triple3 OR ((triple2) -> rule7) OR ((((triple5) -> rule5)) -> rule7))] Anne is quiet.[(triple4 OR ((triple3) -> rule4) OR ((triple7) -> rule6) OR ((triple1 triple5) -> rule3) OR ((((triple1) -> rule8)) -> rule6) OR ((((triple2) -> rule7)) -> rule4) OR ((((((triple5) -> rule5)) -> rule7)) -> rule4))] Anne is rough.[(triple5)] Anne is smart.[(triple6 OR ((triple4) -> rule2) OR ((((triple3) -> rule4)) -> rule2) OR ((((triple7) -> rule6)) -> rule2) OR ((((triple1 triple5) -> rule3)) -> rule2) OR ((((((triple1) -> rule8)) -> rule6)) -> rule2) OR ((((((triple2) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple5) -> rule5)) -> rule7)) -> rule4)) -> rule2))] Anne is white.[(triple7 OR ((triple1) -> rule8))] Erin is big.[(triple8)] Erin is kind.[(triple9 OR ((triple12) -> rule5))] Erin is nice.[(triple10 OR ((triple13) -> rule1) OR ((triple9) -> rule7) OR ((((triple11) -> rule2)) -> rule1) OR ((((triple12) -> rule5)) -> rule7) OR ((((((triple14) -> rule6)) -> rule2)) -> rule1) OR ((((((triple8 triple12) -> rule3)) -> rule2)) -> rule1) OR ((((((((triple8) -> rule8)) -> rule6)) -> rule2)) -> rule1))] Erin is quiet.[(triple11 OR ((triple10) -> rule4) OR ((triple14) -> rule6) OR ((triple8 triple12) -> rule3) OR ((((triple13) -> rule1)) -> rule4) OR ((((triple8) -> rule8)) -> rule6) OR ((((triple9) -> rule7)) -> rule4) OR ((((((triple12) -> rule5)) -> rule7)) -> rule4))] Erin is rough.[(triple12)] Erin is smart.[(triple13 OR ((triple11) -> rule2) OR ((((triple10) -> rule4)) -> rule2) OR ((((triple14) -> rule6)) -> rule2) OR ((((triple8 triple12) -> rule3)) -> rule2) OR ((((((triple8) -> rule8)) -> rule6)) -> rule2) OR ((((((triple9) -> rule7)) -> rule4)) -> rule2) OR ((((((((triple12) -> rule5)) -> rule7)) -> rule4)) -> rule2))] Erin is white.[(triple14 OR ((triple8) -> rule8))]