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