Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is round. Fiona is smart. Fiona is young. All blue, furry people are young. If Fiona is furry and Fiona is round then Fiona is blue. If Fiona is big and Fiona is smart then Fiona is blue. If Fiona is cold and Fiona is blue then Fiona is round. If someone is smart then they are furry. If someone is cold then they are big.
Fiona is furry.
@0: Fiona is big.[(triple1 OR ((triple3) -> rule6))] Fiona is blue.[(triple2 OR ((triple1 triple6) -> rule3) OR ((triple4 triple5) -> rule2) OR ((((triple3) -> rule6) triple6) -> rule3) OR ((((triple6) -> rule5) triple5) -> rule2))] Fiona is cold.[(triple3)] Fiona is furry.[(triple4 OR ((triple6) -> rule5))] Fiona is round.[(triple5 OR ((triple3 triple2) -> rule4) OR ((triple3 ((triple1 triple6) -> rule3)) -> rule4) OR ((triple3 ((((triple3) -> rule6) triple6) -> rule3)) -> rule4))] Fiona is smart.[(triple6)] Fiona is young.[(triple7 OR ((triple2 triple4) -> rule1) OR ((triple2 ((triple6) -> rule5)) -> rule1) OR ((((triple1 triple6) -> rule3) triple4) -> rule1) OR ((((triple4 triple5) -> rule2) triple4) -> rule1) OR ((((triple1 triple6) -> rule3) ((triple6) -> rule5)) -> rule1) OR ((((triple4 triple5) -> rule2) ((triple6) -> rule5)) -> rule1) OR ((((((triple3) -> rule6) triple6) -> rule3) triple4) -> rule1) OR ((((((triple6) -> rule5) triple5) -> rule2) triple4) -> rule1) OR ((((((triple3) -> rule6) triple6) -> rule3) ((triple6) -> rule5)) -> rule1) OR ((((((triple6) -> rule5) triple5) -> rule2) ((triple6) -> rule5)) -> rule1))]