Erin is green. Erin is kind. Erin is quiet. Erin is rough. Erin is round. Erin is white. Erin is young. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. All round things are green. All green things are round. All rough, quiet things are young. If Fiona is round and Fiona is quiet then Fiona is kind. All white things are kind. If Fiona is rough and Fiona is green then Fiona is kind. Quiet things are round. If something is white then it is quiet.
Erin is not quiet.
@0: Erin is green.[(triple1 OR ((triple5) -> rule1) OR ((((triple3) -> rule7)) -> rule1) OR ((((((triple6) -> rule8)) -> rule7)) -> rule1))] Erin is kind.[(triple2 OR ((triple6) -> rule5))] Erin is quiet.[(triple3 OR ((triple6) -> rule8))] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple1) -> rule2) OR ((triple3) -> rule7) OR ((((triple6) -> rule8)) -> rule7))] Erin is white.[(triple6)] Erin is young.[(triple7 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple6) -> rule8)) -> rule3))] Fiona is green.[(triple8 OR ((triple12) -> rule1) OR ((((triple10) -> rule7)) -> rule1) OR ((((((triple13) -> rule8)) -> rule7)) -> rule1))] Fiona is kind.[(triple9 OR ((triple13) -> rule5) OR ((triple11 triple8) -> rule6) OR ((triple12 triple10) -> rule4) OR ((triple11 ((triple12) -> rule1)) -> rule6) OR ((triple12 ((triple13) -> rule8)) -> rule4) OR ((((triple10) -> rule7) triple10) -> rule4) OR ((((triple8) -> rule2) triple10) -> rule4) OR ((((triple10) -> rule7) ((triple13) -> rule8)) -> rule4) OR ((((triple8) -> rule2) ((triple13) -> rule8)) -> rule4) OR ((triple11 ((((triple10) -> rule7)) -> rule1)) -> rule6) OR ((((((triple13) -> rule8)) -> rule7) triple10) -> rule4) OR ((((((triple13) -> rule8)) -> rule7) ((triple13) -> rule8)) -> rule4) OR ((triple11 ((((((triple13) -> rule8)) -> rule7)) -> rule1)) -> rule6))] Fiona is quiet.[(triple10 OR ((triple13) -> rule8))] Fiona is rough.[(triple11)] Fiona is round.[(triple12 OR ((triple10) -> rule7) OR ((triple8) -> rule2) OR ((((triple13) -> rule8)) -> rule7))] Fiona is white.[(triple13)] Fiona is young.[(triple14 OR ((triple11 triple10) -> rule3) OR ((triple11 ((triple13) -> rule8)) -> rule3))]