Anne is big. Anne is furry. Anne is kind. Anne is nice. Anne is rough. Anne is round. Anne is white. Erin is kind. Erin is nice. Erin is white. All nice people are kind. If someone is furry and nice then they are white. All big, white people are kind. If someone is furry then they are round. If Anne is furry and Anne is nice then Anne is kind. If someone is big and round then they are nice. If Anne is rough then Anne is furry. If someone is big and nice then they are kind.
Erin is nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule7))] Anne is kind.[(triple3 OR ((triple4) -> rule1) OR ((triple1 triple4) -> rule8) OR ((triple1 triple7) -> rule3) OR ((triple2 triple4) -> rule5) OR ((((triple1 triple6) -> rule6)) -> rule1) OR ((triple1 ((triple1 triple6) -> rule6)) -> rule8) OR ((triple1 ((triple2 triple4) -> rule2)) -> rule3) OR ((triple2 ((triple1 triple6) -> rule6)) -> rule5) OR ((((triple5) -> rule7) triple4) -> rule5) OR ((((triple5) -> rule7) ((triple1 triple6) -> rule6)) -> rule5) OR ((((triple1 ((triple2) -> rule4)) -> rule6)) -> rule1) OR ((triple1 ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule8) OR ((triple1 ((triple2 ((triple1 triple6) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple5) -> rule7) triple4) -> rule2)) -> rule3) OR ((triple2 ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule5) OR ((triple1 ((((triple5) -> rule7) ((triple1 triple6) -> rule6)) -> rule2)) -> rule3) OR ((((triple5) -> rule7) ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule5) OR ((((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule1) OR ((triple1 ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule8) OR ((triple1 ((triple2 ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((triple2 ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule5) OR ((triple1 ((((triple5) -> rule7) ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((triple5) -> rule7) ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule5) OR ((triple1 ((triple2 ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((triple1 ((((triple5) -> rule7) ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule2)) -> rule3))] Anne is nice.[(triple4 OR ((triple1 triple6) -> rule6) OR ((triple1 ((triple2) -> rule4)) -> rule6) OR ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6))] Anne is rough.[(triple5)] Anne is round.[(triple6 OR ((triple2) -> rule4) OR ((((triple5) -> rule7)) -> rule4))] Anne is white.[(triple7 OR ((triple2 triple4) -> rule2) OR ((triple2 ((triple1 triple6) -> rule6)) -> rule2) OR ((((triple5) -> rule7) triple4) -> rule2) OR ((((triple5) -> rule7) ((triple1 triple6) -> rule6)) -> rule2) OR ((triple2 ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule7) ((triple1 ((triple2) -> rule4)) -> rule6)) -> rule2) OR ((triple2 ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule2) OR ((((triple5) -> rule7) ((triple1 ((((triple5) -> rule7)) -> rule4)) -> rule6)) -> rule2))] Erin is kind.[(triple8 OR ((triple9) -> rule1))] Erin is nice.[(triple9)] Erin is white.[(triple10)]