Fiona is big. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is white. Fiona is young. All nice, big people are white. Furry people are nice. If Fiona is white then Fiona is young. If someone is nice and quiet then they are kind. All white, young people are kind. Big, nice people are young. Big, nice people are young. Young people are kind.
Fiona is not white.
@0: Fiona is big.[(triple1)] Fiona is furry.[(triple2)] Fiona is kind.[(triple3 OR ((triple7) -> rule8) OR ((triple4 triple5) -> rule4) OR ((triple6 triple7) -> rule5) OR ((((triple6) -> rule3)) -> rule8) OR ((((triple1 triple4) -> rule6)) -> rule8) OR ((((triple1 triple4) -> rule7)) -> rule8) OR ((triple6 ((triple6) -> rule3)) -> rule5) OR ((triple6 ((triple1 triple4) -> rule6)) -> rule5) OR ((triple6 ((triple1 triple4) -> rule7)) -> rule5) OR ((((triple2) -> rule2) triple5) -> rule4) OR ((((triple4 triple1) -> rule1) triple7) -> rule5) OR ((((triple4 triple1) -> rule1) ((triple6) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule1) ((triple1 triple4) -> rule6)) -> rule5) OR ((((triple4 triple1) -> rule1) ((triple1 triple4) -> rule7)) -> rule5) OR ((((((triple4 triple1) -> rule1)) -> rule3)) -> rule8) OR ((((triple1 ((triple2) -> rule2)) -> rule6)) -> rule8) OR ((((triple1 ((triple2) -> rule2)) -> rule7)) -> rule8) OR ((triple6 ((((triple4 triple1) -> rule1)) -> rule3)) -> rule5) OR ((triple6 ((triple1 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((triple6 ((triple1 ((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) triple7) -> rule5) OR ((((triple4 triple1) -> rule1) ((((triple4 triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule1) ((triple1 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((triple4 triple1) -> rule1) ((triple1 ((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((triple6) -> rule3)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((triple1 triple4) -> rule6)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((triple1 triple4) -> rule7)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((((triple4 triple1) -> rule1)) -> rule3)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((triple1 ((triple2) -> rule2)) -> rule6)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((triple1 ((triple2) -> rule2)) -> rule7)) -> rule5) OR ((((((((triple2) -> rule2) triple1) -> rule1)) -> rule3)) -> rule8) OR ((triple6 ((((((triple2) -> rule2) triple1) -> rule1)) -> rule3)) -> rule5) OR ((((triple4 triple1) -> rule1) ((((((triple2) -> rule2) triple1) -> rule1)) -> rule3)) -> rule5) OR ((((((triple2) -> rule2) triple1) -> rule1) ((((((triple2) -> rule2) triple1) -> rule1)) -> rule3)) -> rule5))] Fiona is nice.[(triple4 OR ((triple2) -> rule2))] Fiona is quiet.[(triple5)] Fiona is white.[(triple6 OR ((triple4 triple1) -> rule1) OR ((((triple2) -> rule2) triple1) -> rule1))] Fiona is young.[(triple7 OR ((triple6) -> rule3) OR ((triple1 triple4) -> rule6) OR ((triple1 triple4) -> rule7) OR ((((triple4 triple1) -> rule1)) -> rule3) OR ((triple1 ((triple2) -> rule2)) -> rule6) OR ((triple1 ((triple2) -> rule2)) -> rule7) OR ((((((triple2) -> rule2) triple1) -> rule1)) -> rule3))]