Fiona is big. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is white. Fiona is young. If something is white and kind then it is young. If something is young then it is red. All big things are red. If Fiona is young and Fiona is round then Fiona is smart. All red things are smart. Young, big things are smart. Young, red things are round. If Fiona is big and Fiona is red then Fiona is young.
Fiona is not smart.
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple2)] Fiona is red.[(triple3 OR ((triple1) -> rule3) OR ((triple7) -> rule2) OR ((((triple6 triple2) -> rule1)) -> rule2))] Fiona is round.[(triple4 OR ((triple7 triple3) -> rule7) OR ((triple7 ((triple1) -> rule3)) -> rule7) OR ((triple7 ((triple7) -> rule2)) -> rule7) OR ((((triple1 triple3) -> rule8) triple3) -> rule7) OR ((((triple6 triple2) -> rule1) triple3) -> rule7) OR ((((triple1 triple3) -> rule8) ((triple1) -> rule3)) -> rule7) OR ((((triple1 triple3) -> rule8) ((triple7) -> rule2)) -> rule7) OR ((((triple6 triple2) -> rule1) ((triple1) -> rule3)) -> rule7) OR ((((triple6 triple2) -> rule1) ((triple7) -> rule2)) -> rule7) OR ((triple7 ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7) OR ((((triple1 ((triple1) -> rule3)) -> rule8) triple3) -> rule7) OR ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule7) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7) -> rule2)) -> rule7) OR ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7))] Fiona is smart.[(triple5 OR ((triple3) -> rule5) OR ((triple7 triple1) -> rule6) OR ((triple7 triple4) -> rule4) OR ((((triple1) -> rule3)) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((triple7 ((triple7 triple3) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) triple1) -> rule6) OR ((((triple1 triple3) -> rule8) triple4) -> rule4) OR ((((triple6 triple2) -> rule1) triple1) -> rule6) OR ((((triple6 triple2) -> rule1) triple4) -> rule4) OR ((((triple1 triple3) -> rule8) ((triple7 triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((triple7 triple3) -> rule7)) -> rule4) OR ((((((triple6 triple2) -> rule1)) -> rule2)) -> rule5) OR ((triple7 ((triple7 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((triple7 ((triple7 ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((((triple1 triple3) -> rule8) triple3) -> rule7)) -> rule4) OR ((triple7 ((((triple6 triple2) -> rule1) triple3) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) triple1) -> rule6) OR ((((triple1 ((triple1) -> rule3)) -> rule8) triple4) -> rule4) OR ((triple7 ((((triple1 triple3) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((triple7 ((((triple1 triple3) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((((triple6 triple2) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((triple7 ((((triple6 triple2) -> rule1) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((triple7 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((triple7 ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1) triple3) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7 triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((triple7 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((triple7 ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 triple3) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1) triple3) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7 ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7 ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 triple3) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1) triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 triple3) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 triple3) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 triple3) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 triple3) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((triple7 ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((((triple1 ((triple1) -> rule3)) -> rule8) triple3) -> rule7)) -> rule4) OR ((triple7 ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((triple7 ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((triple7 ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((triple7 ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((triple7 ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule8) triple3) -> rule7)) -> rule4) OR ((triple7 ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7 ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) triple3) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 triple3) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 triple3) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple1) -> rule3)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((triple7) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple6 triple2) -> rule1) ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4) OR ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple1 ((triple1) -> rule3)) -> rule8) ((((triple6 triple2) -> rule1)) -> rule2)) -> rule7)) -> rule4))] Fiona is white.[(triple6)] Fiona is young.[(triple7 OR ((triple1 triple3) -> rule8) OR ((triple6 triple2) -> rule1) OR ((triple1 ((triple1) -> rule3)) -> rule8))]