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