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