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