Fiona is big. Fiona is blue. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is young. Big, red people are blue. All young people are green. If Fiona is blue and Fiona is quiet then Fiona is nice. All big people are blue. If someone is quiet then they are red. Nice, red people are young.
Fiona is quiet.
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1) -> rule4) OR ((triple1 triple6) -> rule1) OR ((triple1 ((triple5) -> rule5)) -> rule1))] Fiona is green.[(triple3 OR ((triple7) -> rule2) OR ((((triple4 triple6) -> rule6)) -> rule2) OR ((((triple4 ((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((((triple2 triple5) -> rule3) triple6) -> rule6)) -> rule2) OR ((((((triple2 triple5) -> rule3) ((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule4) triple5) -> rule3) triple6) -> rule6)) -> rule2) OR ((((((((triple1 triple6) -> rule1) triple5) -> rule3) triple6) -> rule6)) -> rule2) OR ((((((((triple1) -> rule4) triple5) -> rule3) ((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple1 triple6) -> rule1) triple5) -> rule3) ((triple5) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple1 ((triple5) -> rule5)) -> rule1) triple5) -> rule3) triple6) -> rule6)) -> rule2) OR ((((((((triple1 ((triple5) -> rule5)) -> rule1) triple5) -> rule3) ((triple5) -> rule5)) -> rule6)) -> rule2))] Fiona is nice.[(triple4 OR ((triple2 triple5) -> rule3) OR ((((triple1) -> rule4) triple5) -> rule3) OR ((((triple1 triple6) -> rule1) triple5) -> rule3) OR ((((triple1 ((triple5) -> rule5)) -> rule1) triple5) -> rule3))] Fiona is quiet.[(triple5)] Fiona is red.[(triple6 OR ((triple5) -> rule5))] Fiona is young.[(triple7 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple5) -> rule5)) -> rule6) OR ((((triple2 triple5) -> rule3) triple6) -> rule6) OR ((((triple2 triple5) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1) -> rule4) triple5) -> rule3) triple6) -> rule6) OR ((((((triple1 triple6) -> rule1) triple5) -> rule3) triple6) -> rule6) OR ((((((triple1) -> rule4) triple5) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1 triple6) -> rule1) triple5) -> rule3) ((triple5) -> rule5)) -> rule6) OR ((((((triple1 ((triple5) -> rule5)) -> rule1) triple5) -> rule3) triple6) -> rule6) OR ((((((triple1 ((triple5) -> rule5)) -> rule1) triple5) -> rule3) ((triple5) -> rule5)) -> rule6))]