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