Bob is big. Bob is blue. Bob is kind. Bob is nice. Fiona is big. Fiona is blue. Fiona is furry. Fiona is nice. Fiona is quiet. Fiona is white. If Fiona is quiet and Fiona is big then Fiona is white. If someone is big then they are blue. All white, nice people are furry. If someone is white and furry then they are quiet. If someone is blue and quiet then they are nice. If Fiona is white and Fiona is kind then Fiona is blue. All kind, nice people are furry. If Fiona is quiet and Fiona is kind then Fiona is nice.
Fiona is not nice.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2 OR ((triple1) -> rule2))] Bob is kind.[(triple3)] Bob is nice.[(triple4)] Fiona is big.[(triple5)] Fiona is blue.[(triple6 OR ((triple5) -> rule2))] Fiona is furry.[(triple7 OR ((triple10 triple8) -> rule3) OR ((triple10 ((triple6 triple9) -> rule5)) -> rule3) OR ((((triple9 triple5) -> rule1) triple8) -> rule3) OR ((((triple9 triple5) -> rule1) ((triple6 triple9) -> rule5)) -> rule3) OR ((triple10 ((((triple5) -> rule2) triple9) -> rule5)) -> rule3) OR ((((triple9 triple5) -> rule1) ((((triple5) -> rule2) triple9) -> rule5)) -> rule3))] Fiona is nice.[(triple8 OR ((triple6 triple9) -> rule5) OR ((triple6 ((triple10 triple7) -> rule4)) -> rule5) OR ((((triple5) -> rule2) triple9) -> rule5) OR ((((triple5) -> rule2) ((triple10 triple7) -> rule4)) -> rule5))] Fiona is quiet.[(triple9 OR ((triple10 triple7) -> rule4) OR ((triple10 ((triple10 triple8) -> rule3)) -> rule4))] Fiona is white.[(triple10 OR ((triple9 triple5) -> rule1))] @1: Bob is furry.[(((triple3 triple4) -> rule7))]