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