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