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