Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is young. Quiet, furry people are young. If someone is blue and red then they are young. All red people are rough. Young, red people are rough. Rough people are young. All red people are quiet. Rough people are kind. Young, red people are blue.
Fiona is furry.
@0: Fiona is blue.[(triple1 OR ((triple7 triple5) -> rule8) OR ((((triple6) -> rule5) triple5) -> rule8) OR ((((triple4 triple2) -> rule1) triple5) -> rule8) OR ((((((triple5) -> rule3)) -> rule5) triple5) -> rule8) OR ((((((triple5) -> rule6) triple2) -> rule1) triple5) -> rule8))] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple6) -> rule7) OR ((((triple5) -> rule3)) -> rule7) OR ((((triple7 triple5) -> rule4)) -> rule7) OR ((((((triple1 triple5) -> rule2) triple5) -> rule4)) -> rule7) OR ((((((triple4 triple2) -> rule1) triple5) -> rule4)) -> rule7) OR ((((((((triple5) -> rule6) triple2) -> rule1) triple5) -> rule4)) -> rule7))] Fiona is quiet.[(triple4 OR ((triple5) -> rule6))] Fiona is red.[(triple5)] Fiona is rough.[(triple6 OR ((triple5) -> rule3) OR ((triple7 triple5) -> rule4) OR ((((triple1 triple5) -> rule2) triple5) -> rule4) OR ((((triple4 triple2) -> rule1) triple5) -> rule4) OR ((((((triple5) -> rule6) triple2) -> rule1) triple5) -> rule4))] Fiona is young.[(triple7 OR ((triple6) -> rule5) OR ((triple1 triple5) -> rule2) OR ((triple4 triple2) -> rule1) OR ((((triple5) -> rule3)) -> rule5) OR ((((triple5) -> rule6) triple2) -> rule1))]