Anne is green. Anne is kind. Anne is red. Anne is rough. Anne is round. Erin is big. Erin is furry. Erin is kind. Erin is red. Erin is rough. Erin is round. Fiona is furry. Fiona is green. Fiona is kind. Fiona is rough. Fiona is round. Kind people are round. Round, rough people are red. If someone is green then they are kind. If Anne is furry and Anne is rough then Anne is red. If Fiona is round then Fiona is furry. Kind people are round. Round, green people are furry. If Anne is green then Anne is kind.
Erin is rough.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple1) -> rule3) OR ((triple1) -> rule8))] Anne is red.[(triple3 OR ((triple5 triple4) -> rule2) OR ((((triple2) -> rule1) triple4) -> rule2) OR ((((triple2) -> rule6) triple4) -> rule2) OR ((((triple5 triple1) -> rule7) triple4) -> rule4) OR ((((((triple1) -> rule3)) -> rule1) triple4) -> rule2) OR ((((((triple1) -> rule3)) -> rule6) triple4) -> rule2) OR ((((((triple1) -> rule8)) -> rule1) triple4) -> rule2) OR ((((((triple1) -> rule8)) -> rule6) triple4) -> rule2) OR ((((((triple2) -> rule1) triple1) -> rule7) triple4) -> rule4) OR ((((((triple2) -> rule6) triple1) -> rule7) triple4) -> rule4) OR ((((((((triple1) -> rule3)) -> rule1) triple1) -> rule7) triple4) -> rule4) OR ((((((((triple1) -> rule3)) -> rule6) triple1) -> rule7) triple4) -> rule4) OR ((((((((triple1) -> rule8)) -> rule1) triple1) -> rule7) triple4) -> rule4) OR ((((((((triple1) -> rule8)) -> rule6) triple1) -> rule7) triple4) -> rule4))] Anne is rough.[(triple4)] Anne is round.[(triple5 OR ((triple2) -> rule1) OR ((triple2) -> rule6) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule8)) -> rule6))] Erin is big.[(triple6)] Erin is furry.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9 OR ((triple11 triple10) -> rule2) OR ((((triple8) -> rule1) triple10) -> rule2) OR ((((triple8) -> rule6) triple10) -> rule2))] Erin is rough.[(triple10)] Erin is round.[(triple11 OR ((triple8) -> rule1) OR ((triple8) -> rule6))] Fiona is furry.[(triple12 OR ((triple16) -> rule5) OR ((triple16 triple13) -> rule7) OR ((((triple14) -> rule1)) -> rule5) OR ((((triple14) -> rule6)) -> rule5) OR ((((triple14) -> rule1) triple13) -> rule7) OR ((((triple14) -> rule6) triple13) -> rule7) OR ((((((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((triple13) -> rule3)) -> rule6)) -> rule5) OR ((((((triple13) -> rule3)) -> rule1) triple13) -> rule7) OR ((((((triple13) -> rule3)) -> rule6) triple13) -> rule7))] Fiona is green.[(triple13)] Fiona is kind.[(triple14 OR ((triple13) -> rule3))] Fiona is rough.[(triple15)] Fiona is round.[(triple16 OR ((triple14) -> rule1) OR ((triple14) -> rule6) OR ((((triple13) -> rule3)) -> rule1) OR ((((triple13) -> rule3)) -> rule6))] @1: Anne is furry.[(((triple5 triple1) -> rule7) OR ((((triple2) -> rule1) triple1) -> rule7) OR ((((triple2) -> rule6) triple1) -> rule7) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule7) OR ((((((triple1) -> rule3)) -> rule6) triple1) -> rule7) OR ((((((triple1) -> rule8)) -> rule1) triple1) -> rule7) OR ((((((triple1) -> rule8)) -> rule6) triple1) -> rule7))] Fiona is red.[(((triple16 triple15) -> rule2) OR ((((triple14) -> rule1) triple15) -> rule2) OR ((((triple14) -> rule6) triple15) -> rule2) OR ((((((triple13) -> rule3)) -> rule1) triple15) -> rule2) OR ((((((triple13) -> rule3)) -> rule6) triple15) -> rule2))]