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