Anne is blue. Anne is kind. Anne is quiet. Anne is rough. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is white. Charlie is young. Erin is young. Fiona is kind. All white things are young. Young, blue things are quiet. Kind things are blue. If Charlie is rough and Charlie is quiet then Charlie is white. All white, smart things are young. All quiet things are white. If something is white and rough then it is smart. If Fiona is rough then Fiona is young. Blue things are rough.
Fiona is young.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple1) -> rule9) OR ((((triple2) -> rule3)) -> rule9))] Charlie is kind.[(triple5)] Charlie is quiet.[(triple6 OR ((triple10 ((triple5) -> rule3)) -> rule2) OR ((((triple9) -> rule1) ((triple5) -> rule3)) -> rule2) OR ((((triple9 triple8) -> rule5) ((triple5) -> rule3)) -> rule2) OR ((((triple9 ((triple9 triple7) -> rule7)) -> rule5) ((triple5) -> rule3)) -> rule2) OR ((((triple9 ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) ((triple5) -> rule3)) -> rule2))] Charlie is rough.[(triple7 OR ((((triple5) -> rule3)) -> rule9))] Charlie is smart.[(triple8 OR ((triple9 triple7) -> rule7) OR ((((triple6) -> rule6) triple7) -> rule7) OR ((((triple7 triple6) -> rule4) triple7) -> rule7) OR ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((triple6) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((triple7 triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((((triple10 ((triple5) -> rule3)) -> rule2)) -> rule6) triple7) -> rule7) OR ((((triple7 ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4) triple7) -> rule7) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple7) -> rule7) OR ((((((triple10 ((triple5) -> rule3)) -> rule2)) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((triple7 ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7) OR ((((((((triple5) -> rule3)) -> rule9) ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4) triple7) -> rule7) OR ((((((((triple5) -> rule3)) -> rule9) ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7))] Charlie is white.[(triple9 OR ((triple6) -> rule6) OR ((triple7 triple6) -> rule4) OR ((((triple10 ((triple5) -> rule3)) -> rule2)) -> rule6) OR ((triple7 ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4) OR ((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) OR ((((((triple5) -> rule3)) -> rule9) ((triple10 ((triple5) -> rule3)) -> rule2)) -> rule4))] Charlie is young.[(triple10 OR ((triple9) -> rule1) OR ((triple9 triple8) -> rule5) OR ((((triple6) -> rule6)) -> rule1) OR ((((triple7 triple6) -> rule4)) -> rule1) OR ((triple9 ((triple9 triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule6) triple8) -> rule5) OR ((((triple7 triple6) -> rule4) triple8) -> rule5) OR ((((triple6) -> rule6) ((triple9 triple7) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((triple9 triple7) -> rule7)) -> rule5) OR ((triple9 ((((triple6) -> rule6) triple7) -> rule7)) -> rule5) OR ((triple9 ((((triple7 triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6) triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((triple7 triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((triple6) -> rule6) triple7) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((triple7 triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4)) -> rule1) OR ((triple9 ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple8) -> rule5) OR ((triple9 ((((triple6) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((triple9 ((((triple7 triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((triple9 triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((triple6) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((triple7 triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((triple6) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((triple7 triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple6) -> rule6) triple7) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple7 triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((triple9 ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple6) -> rule6) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple7 triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((triple9 ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((triple9 ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple6) -> rule6) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((triple7 triple6) -> rule4) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) triple7) -> rule7)) -> rule5) OR ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((((((triple5) -> rule3)) -> rule9) triple6) -> rule4) ((((triple5) -> rule3)) -> rule9)) -> rule7)) -> rule5))] Erin is young.[(triple11)] Fiona is kind.[(triple12)] @1: Anne is white.[(((triple3) -> rule6))] Charlie is blue.[(((triple5) -> rule3))] Fiona is blue.[(((triple12) -> rule3))] @2: Anne is smart.[(((((triple3) -> rule6) triple4) -> rule7) OR ((((triple3) -> rule6) ((triple1) -> rule9)) -> rule7) OR ((((triple3) -> rule6) ((((triple2) -> rule3)) -> rule9)) -> rule7))] Anne is young.[(((((triple3) -> rule6)) -> rule1) OR ((((triple3) -> rule6) ((((triple3) -> rule6) triple4) -> rule7)) -> rule5) OR ((((triple3) -> rule6) ((((triple3) -> rule6) ((triple1) -> rule9)) -> rule7)) -> rule5) OR ((((triple3) -> rule6) ((((triple3) -> rule6) ((((triple2) -> rule3)) -> rule9)) -> rule7)) -> rule5))] Fiona is rough.[(((((triple12) -> rule3)) -> rule9))] @3: Fiona is young.[(((((((triple12) -> rule3)) -> rule9)) -> rule8))] @4: Fiona is quiet.[(((((((((triple12) -> rule3)) -> rule9)) -> rule8) ((triple12) -> rule3)) -> rule2))] @5: Fiona is white.[(((((((((((triple12) -> rule3)) -> rule9)) -> rule8) ((triple12) -> rule3)) -> rule2)) -> rule6))] @6: Fiona is smart.[(((((((((((((triple12) -> rule3)) -> rule9)) -> rule8) ((triple12) -> rule3)) -> rule2)) -> rule6) ((((triple12) -> rule3)) -> rule9)) -> rule7))]