Erin is quiet. Erin is rough. Erin is smart. Fiona is big. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is smart. Fiona is young. Quiet, smart people are young. All green, kind people are smart. All young people are kind. If Erin is kind then Erin is green. If Fiona is big and Fiona is young then Fiona is smart. All smart people are rough. All green people are smart. Smart, quiet people are big.
Fiona is not rough.
@0: Erin is quiet.[(triple1)] Erin is rough.[(triple2 OR ((triple3) -> rule6))] Erin is smart.[(triple3)] Fiona is big.[(triple4 OR ((triple9 triple7) -> rule8) OR ((((triple5) -> rule7) triple7) -> rule8) OR ((((triple5 triple6) -> rule2) triple7) -> rule8) OR ((((triple5 ((triple10) -> rule3)) -> rule2) triple7) -> rule8))] Fiona is green.[(triple5)] Fiona is kind.[(triple6 OR ((triple10) -> rule3) OR ((((triple7 triple9) -> rule1)) -> rule3) OR ((((triple7 ((triple5) -> rule7)) -> rule1)) -> rule3))] Fiona is quiet.[(triple7)] Fiona is rough.[(triple8 OR ((triple9) -> rule6) OR ((((triple5) -> rule7)) -> rule6) OR ((((triple4 triple10) -> rule5)) -> rule6) OR ((((triple5 triple6) -> rule2)) -> rule6) OR ((((triple5 ((triple10) -> rule3)) -> rule2)) -> rule6))] Fiona is smart.[(triple9 OR ((triple5) -> rule7) OR ((triple4 triple10) -> rule5) OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple10) -> rule3)) -> rule2))] Fiona is young.[(triple10 OR ((triple7 triple9) -> rule1) OR ((triple7 ((triple5) -> rule7)) -> rule1) OR ((triple7 ((triple5 triple6) -> rule2)) -> rule1))] @1: Erin is big.[(((triple3 triple1) -> rule8))] Erin is young.[(((triple1 triple3) -> rule1))] @2: Erin is kind.[(((((triple1 triple3) -> rule1)) -> rule3))] @3: Erin is green.[(((((((triple1 triple3) -> rule1)) -> rule3)) -> rule4))]