Fiona is furry. Fiona is green. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is round. All nice, rough people are furry. Round, green people are rough. All round people are rough. If someone is kind then they are quiet. If someone is kind and quiet then they are green. Green, kind people are furry. If Fiona is furry and Fiona is green then Fiona is round. If someone is round and furry then they are kind.
Fiona is quiet.
@0: Fiona is furry.[(triple1 OR ((triple2 triple3) -> rule6) OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple7) -> rule3)) -> rule1) OR ((triple4 ((triple7 triple2) -> rule2)) -> rule1) OR ((((triple3 triple5) -> rule5) triple3) -> rule6) OR ((triple4 ((triple7 ((triple3 triple5) -> rule5)) -> rule2)) -> rule1) OR ((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) OR ((triple4 ((triple7 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2)) -> rule1))] Fiona is green.[(triple2 OR ((triple3 triple5) -> rule5) OR ((triple3 ((triple3) -> rule4)) -> rule5) OR ((((triple7 triple1) -> rule8) triple5) -> rule5) OR ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5) OR ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8) triple5) -> rule5) OR ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8) ((triple3) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5) OR ((triple3 ((((triple7 ((triple4 triple6) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) triple5) -> rule5) OR ((((triple7 triple1) -> rule8) ((((triple7 ((triple4 triple6) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) ((triple3) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8) ((((triple7 ((triple4 triple6) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) ((((triple7 ((triple4 triple6) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((triple3 ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 triple1) -> rule8) ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8) ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule5) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4)) -> rule5))] Fiona is kind.[(triple3 OR ((triple7 triple1) -> rule8) OR ((triple7 ((triple4 triple6) -> rule1)) -> rule8) OR ((((triple1 triple2) -> rule7) triple1) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple4 triple6) -> rule1)) -> rule8) OR ((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) OR ((triple7 ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8) OR ((((((triple4 triple6) -> rule1) triple2) -> rule7) triple1) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) OR ((((triple1 triple2) -> rule7) ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8) OR ((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 triple6) -> rule1)) -> rule8) OR ((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8) OR ((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8))] Fiona is nice.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule4) OR ((((triple7 triple1) -> rule8)) -> rule4) OR ((((triple7 ((triple4 triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((triple1 triple2) -> rule7) triple1) -> rule8)) -> rule4) OR ((((((triple1 triple2) -> rule7) ((triple4 triple6) -> rule1)) -> rule8)) -> rule4) OR ((((triple7 ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4) OR ((((triple7 ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple4 triple6) -> rule1) triple2) -> rule7) triple1) -> rule8)) -> rule4) OR ((((((triple1 triple2) -> rule7) ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple1 triple2) -> rule7) ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 triple6) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 ((triple7) -> rule3)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple4 triple6) -> rule1) triple2) -> rule7) ((triple4 ((triple7 triple2) -> rule2)) -> rule1)) -> rule8)) -> rule4))] Fiona is rough.[(triple6 OR ((triple7) -> rule3) OR ((triple7 triple2) -> rule2) OR ((((triple1 triple2) -> rule7)) -> rule3) OR ((triple7 ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple1 triple2) -> rule7) triple2) -> rule2) OR ((((triple1 triple2) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7)) -> rule3) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7)) -> rule3) OR ((triple7 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((triple7 ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) triple2) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7)) -> rule3) OR ((triple7 ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 triple2) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 triple2) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) triple2) -> rule2) OR ((((triple1 triple2) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7)) -> rule3) OR ((triple7 ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) triple2) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7)) -> rule3) OR ((triple7 ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 triple2) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7)) -> rule3) OR ((((triple1 triple2) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) triple2) -> rule2) OR ((((triple1 ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7)) -> rule3) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) triple2) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7)) -> rule3) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) triple2) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) triple5) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((triple3 ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((triple3) -> rule4)) -> rule5)) -> rule2) OR ((((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) ((((triple7 triple1) -> rule8) ((((triple7 triple1) -> rule8)) -> rule4)) -> rule5)) -> rule2))] Fiona is round.[(triple7 OR ((triple1 triple2) -> rule7) OR ((triple1 ((triple3 triple5) -> rule5)) -> rule7) OR ((((triple2 triple3) -> rule6) triple2) -> rule7) OR ((((triple4 triple6) -> rule1) triple2) -> rule7) OR ((((triple2 triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) OR ((((triple4 triple6) -> rule1) ((triple3 triple5) -> rule5)) -> rule7) OR ((triple1 ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((triple3 triple5) -> rule5) triple3) -> rule6) triple2) -> rule7) OR ((((triple2 triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((triple4 triple6) -> rule1) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) OR ((((((triple3 triple5) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7) OR ((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) triple2) -> rule7) OR ((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 triple5) -> rule5)) -> rule7) OR ((((((triple3 ((triple3) -> rule4)) -> rule5) triple3) -> rule6) ((triple3 ((triple3) -> rule4)) -> rule5)) -> rule7))]