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