Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is red. If something is big then it is furry. All big, blue things are furry. Red things are green. If Fiona is kind then Fiona is furry. All blue, cold things are red. Red things are kind. If something is kind and blue then it is green. Green, blue things are big.
Fiona is not big.
@0: Fiona is big.[(triple1 OR ((triple5 triple2) -> rule8) OR ((((triple7) -> rule3) triple2) -> rule8) OR ((((triple6 triple2) -> rule7) triple2) -> rule8) OR ((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) OR ((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) OR ((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8))] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple1) -> rule1) OR ((triple6) -> rule4) OR ((triple1 triple2) -> rule2) OR ((((triple7) -> rule6)) -> rule4) OR ((((triple5 triple2) -> rule8)) -> rule1) OR ((((triple5 triple2) -> rule8) triple2) -> rule2) OR ((((((triple2 triple3) -> rule5)) -> rule6)) -> rule4) OR ((((((triple7) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((triple6 triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((triple7) -> rule3) triple2) -> rule8) triple2) -> rule2) OR ((((((triple6 triple2) -> rule7) triple2) -> rule8) triple2) -> rule2) OR ((((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8)) -> rule1) OR ((((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((((triple2 triple3) -> rule5)) -> rule3) triple2) -> rule8) triple2) -> rule2) OR ((((((((triple7) -> rule6) triple2) -> rule7) triple2) -> rule8) triple2) -> rule2) OR ((((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8)) -> rule1) OR ((((((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7) triple2) -> rule8) triple2) -> rule2))] Fiona is green.[(triple5 OR ((triple7) -> rule3) OR ((triple6 triple2) -> rule7) OR ((((triple2 triple3) -> rule5)) -> rule3) OR ((((triple7) -> rule6) triple2) -> rule7) OR ((((((triple2 triple3) -> rule5)) -> rule6) triple2) -> rule7))] Fiona is kind.[(triple6 OR ((triple7) -> rule6) OR ((((triple2 triple3) -> rule5)) -> rule6))] Fiona is red.[(triple7 OR ((triple2 triple3) -> rule5))]